∀ {symState : Lean.Meta.Sym.State} {grindState : Lean.Meta.Grind.State} {goals : List Lean.Meta.Grind.Goal}
  {symState_1 : Lean.Meta.Sym.State} {grindState_1 : Lean.Meta.Grind.State} {goals_1 : List Lean.Meta.Grind.Goal},
  { symState := symState, grindState := grindState, goals := goals } =
      { symState := symState_1, grindState := grindState_1, goals := goals_1 } →
    symState = symState_1 ∧ grindState = grindState_1 ∧ goals = goals_1