Theorem Nat.card_eq_two_iff

Modification history