Theorem Real.le_zpow_iff_log_le

Modification history