∀ {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