Theorem Nat.card_Iic

Modification history