∀ (mvarId : Lean.MVarId) (numNewEqs : ℕ) (mvarId_1 : Lean.MVarId) (numNewEqs_1 : ℕ),
  (Lean.Meta.InjectionResultCore.subgoal mvarId numNewEqs =
      Lean.Meta.InjectionResultCore.subgoal mvarId_1 numNewEqs_1) =
    (mvarId = mvarId_1 ∧ numNewEqs = numNewEqs_1)