Theorem Ordinal.isLimit_opow_left

Modification history