Theorem Ordinal.ofNat_le_card

Modification history