Theorem Ordinal.omega_le_of_isLimit

Modification history