Theorem Ordinal.omega_isLimit

Modification history