∀ (eq : Bool) (lhs rhs : Nat.Linear.Expr) (eq_1 : Bool) (lhs_1 rhs_1 : Nat.Linear.Expr),
  ({ eq := eq, lhs := lhs, rhs := rhs } = { eq := eq_1, lhs := lhs_1, rhs := rhs_1 }) =
    (eq = eq_1 ∧ lhs = lhs_1 ∧ rhs = rhs_1)