Theorem Ordinal.card_omega0_opow

Modification history