Theorem Ordinal.isLimit_iff_omega0_dvd

Modification history