Theorem Nat.card_eq

Modification history