Theorem Ordinal.cof_le_card

Modification history