Definitions:
| Fungrim symbol | Notation | Short description |
|---|---|---|
| ModularGroupFundamentalDomain | Fundamental domain for action of the modular group |
Source code for this entry:
Entry(ID("dc2c26"),
SymbolDefinition(ModularGroupFundamentalDomain, ModularGroupFundamentalDomain, "Fundamental domain for action of the modular group"))