Theorem Ordinal.card_ofNat

Modification history