Theorem Ordinal.add_omega0_opow

Modification history