ThmDex – An index of mathematical definitions, results, and conjectures.
Proof P3310 on R4829: Base inversion property of standard natural logarithm function
P3310
Since $\log_e e = 1$, this result is a special case of R4830: Change of base formula for logarithm function. $\square$