Theorem Real.le_rpow_iff_log_le

Modification history