Theorem Real.le_pow_of_log_le

Modification history