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

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

Formulation F13162 on R403: Square of the imaginary number

F13162

Formulation 1

Let $i$ be the D371: Imaginary number.

Then \begin{equation} i^2 = - 1 \end{equation}