Theorem Ordinal.omega0_isLimit

Modification history