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

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

Result R5119 on D786: Standard natural complex exponential function

Binary homomorphism property of standard natural complex exponential function

Formulation 0

Let $z, w \in \mathbb{C}$ each be a D1207: Complex number.

Then \begin{equation} \exp(z + w) = \exp(z) \exp(w) \end{equation}