Theorem Ordinal.lift_isLimit

Modification history