Theorem Ordinal.card_iSup_Iio_le_sum_card

Modification history