Theorem Ordinal.mul_omega_dvd

Modification history