Fungrim home page

Fungrim entry: 1d1028

iFi \in \mathcal{F}
i \in \mathcal{F}
Fungrim symbol Notation Short description
ConstIii Imaginary unit
ModularGroupFundamentalDomainF\mathcal{F} Fundamental domain for action of the modular group
Source code for this entry:
    Formula(Element(ConstI, ModularGroupFundamentalDomain)))

Topics using this entry

Copyright (C) Fredrik Johansson and contributors. Fungrim is provided under the MIT license. The source code is on GitHub.

2020-04-08 16:14:44.404316 UTC