ThmDex – An index of mathematical definitions, results, and conjectures.
Formulation F4584 on R424: Euler's identity
F4584
Formulation 0
Let $i$ be the D371: Imaginary number.
Let $\pi$ be the D168: Pi.
Then \begin{equation} e^{i \pi} + 1 = 0 \end{equation}