Theorem Nat.card_sigma

Modification history