Theorem Ordinal.opow_le_of_le_log

Modification history