Theorem Ordinal.mul_omega_opow_opow

Modification history