Theorem Nat.card_zMod

Modification history