Theorem Real.zpow_lt_of_lt_log

Modification history