Theorem Ordinal.opow_isLimit_left

Modification history