Theorem Ordinal.card_iSup_le_sum_card

Modification history