Theorem Real.lt_zpow_of_log_lt

Modification history