ThmDex – An index of mathematical definitions, results, and conjectures.
Formulation F13161 on R403: Square of the imaginary number
F13161
Formulation 0
Let $i$ be the D371: Imaginary number.
Then \begin{equation} i^2 = (-1, 0) \end{equation}