Theorem Ordinal.principal_mul_omega0_opow_opow

Modification history