Theorem Ordinal.mul_eq_right_iff_opow_omega_dvd

Modification history