Theorem Ordinal.div_opow_log_lt

Modification history