Theorem Ordinal.card_le_ofNat

Modification history