Theorem Real.le_log_of_rpow_le

Modification history