Theorem Nat.card_fun

Modification history