∀ (view : Lean.Elab.Tactic.ElimTargetView) (expr : Lean.Expr) (arg? : Option Lean.Meta.GeneralizeArg)
  (view_1 : Lean.Elab.Tactic.ElimTargetView) (expr_1 : Lean.Expr) (arg?_1 : Option Lean.Meta.GeneralizeArg),
  ({ view := view, expr := expr, arg? := arg? } = { view := view_1, expr := expr_1, arg? := arg?_1 }) =
    (view = view_1 ∧ expr = expr_1 ∧ arg? = arg?_1)