Theorem Ordinal.omega0_le_of_isLimit

Modification history