Theorem Ordinal.lt_opow_of_log_lt

Modification history