Theorem Ordinal.opow_isLimit

Modification history