Theorem Nat.card_eq_two_iff'

Modification history