Theorem Real.rpow_lt_of_lt_log

Modification history