∀ {term : Lean.Elab.Term.SavedState} {tactic : Lean.Elab.Tactic.State} {term_1 : Lean.Elab.Term.SavedState}
  {tactic_1 : Lean.Elab.Tactic.State},
  { term := term, tactic := tactic } = { term := term_1, tactic := tactic_1 } → term = term_1 ∧ tactic = tactic_1