Theorem Ordinal.opow_le_iff_le_log

Modification history