Theorem Ordinal.opow_le_of_isSuccLimit

Modification history