Theorem Ordinal.mul_eq_right_iff_opow_omega0_dvd

Modification history