Theorem Real.le_rpow_of_log_le

Modification history