Theorem Real.le_log_of_zpow_le

Modification history