Theorem Ordinal.card_opow_omega0

Modification history