Theorem Ordinal.mul_le_right_iff_opow_omega0_dvd

Modification history