TeX:
\tau \in \left\{i \infty\right\} \;\implies\; \lambda(\tau) \in \left\{0\right\}Definitions:
| Fungrim symbol | Notation | Short description |
|---|---|---|
| ConstI | Imaginary unit | |
| Infinity | Positive infinity | |
| ModularLambda | Modular lambda function |
Source code for this entry:
Entry(ID("c7f85b"),
Formula(Implies(Element(tau, Set(Mul(ConstI, Infinity))), Element(ModularLambda(tau), Set(0)))),
Variables(tau))