Theorem Ordinal.isSuccLimit_iff_omega0_dvd

Modification history