Theorem Ordinal.natCast_opow_omega0

Modification history