Theorem Ordinal.opow_le_opow_left

Modification history