TeX:
\lambda(\tau) \text{ is holomorphic on } \tau \in \mathbb{H} \cup \left\{i \infty\right\}Definitions:
| Fungrim symbol | Notation | Short description |
|---|---|---|
| IsHolomorphic | Holomorphic predicate | |
| ModularLambda | Modular lambda function | |
| HH | Upper complex half-plane | |
| ConstI | Imaginary unit | |
| Infinity | Positive infinity |
Source code for this entry:
Entry(ID("55ee4a"),
Formula(IsHolomorphic(ModularLambda(tau), ForElement(tau, Union(HH, Set(Mul(ConstI, Infinity)))))))