Theorem Ordinal.isLimit_opow

Modification history