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

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

Result R3424 on D786: Standard natural complex exponential function

Complex exponential function preserves complex conjugation

Formulation 2

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

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