Theorem Ordinal.card_opow_le_of_omega0_le_right

Modification history