Theorem Real.zpow_lt_iff_lt_log

Modification history