Fungrim home page
{i}^{2} = -1
Entry(ID("3e1c20"), Formula(Equal(Pow(ConstI, 2), -1)))
Copyright (C) Fredrik Johansson and contributors. Fungrim is provided under the MIT license. The source code is on GitHub.
2019-09-30 15:48:23.678374 UTC