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

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

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}

Also known as

Complex conjugate of complex exponential function

Proofs

<No proofs for this assertion yet>