Theorem Real.lt_log_of_zpow_lt

Modification history