Theorem Nat.add_eq_three_iff

Modification history