ThmDex – An index of mathematical definitions, results, and conjectures.
Formulation F12276 on R5123:
F12276
Formulation 0
Let $\theta \in \mathbb{R}$ be a D993: Real number.
Let $i$ be the D371: Imaginary number.
Then \begin{equation} |\exp (i \theta)| = 1 \end{equation}