ThmDex – An index of mathematical definitions, results, and conjectures.

Result R4872 on D1932: Standard natural real exponential function
Subresult of R3500: Homomorphism property of the standard natural real exponential function

Homomorphism property of the standard natural real exponential function in the binary case