Theorem Real.lt_zpow_iff_log_lt

Modification history