Theorem Real.le_zpow_of_log_le

Modification history