Theorem Nat.card_univ

Modification history