Theorem Ordinal.isLimit_iff_omega_dvd

Modification history