∀ (expr type : Lean.Expr) (modified : Bool) (expr_1 type_1 : Lean.Expr) (modified_1 : Bool),
  ({ expr := expr, type := type, modified := modified } = { expr := expr_1, type := type_1, modified := modified_1 }) =
    (expr = expr_1 ∧ type = type_1 ∧ modified = modified_1)