Theorem Ordinal.opow_le_iff_le_log'

Modification history