Theorem Real.le_pow_iff_log_le

Modification history