ThmDex – An index of mathematical definitions, results, and conjectures.
Result R5121 on D786: Standard natural complex exponential function
Real calculus expression for modulus of standard natural complex exponential function