ThmDex – An index of mathematical definitions, results, and conjectures.
Result R3501 on D1932: Standard natural real exponential function
Countably infinite version for homomorphism property of exponential function