∀ (newDecls : Array Lean.FVarId) (goal : Lean.Meta.Grind.Goal) (newDecls_1 : Array Lean.FVarId)
  (goal_1 : Lean.Meta.Grind.Goal),
  (Lean.Meta.Grind.IntrosResult.goal newDecls goal = Lean.Meta.Grind.IntrosResult.goal newDecls_1 goal_1) =
    (newDecls = newDecls_1 ∧ goal = goal_1)