Theorem Real.rpow_lt_iff_lt_log

Modification history