Theorem Ordinal.not_zero_isLimit

Modification history