Theorem Ordinal.opow_log_le_self

Modification history