Theorem Ordinal.mul_omega0_opow_opow

Modification history