TeX:
\tau \in \mathbb{H} \;\implies\; \lambda(\tau) \in \mathbb{C} \setminus \left\{0, 1\right\}
Definitions:
Fungrim symbol | Notation | Short description |
---|---|---|
HH | Upper complex half-plane | |
ModularLambda | Modular lambda function | |
CC | Complex numbers |
Source code for this entry:
Entry(ID("813d25"), Formula(Implies(Element(tau, HH), Element(ModularLambda(tau), SetMinus(CC, Set(0, 1))))), Variables(tau))