Theorem Ordinal.isSuccLimit_opow_left

Modification history