TeX:
\operatorname{BranchPoints}\!\left(\eta\!\left(\tau\right), \tau, \mathbb{H} \cup \left\{{\tilde \infty}\right\}\right) = \left\{\right\}Definitions:
| Fungrim symbol | Notation | Short description |
|---|---|---|
| DedekindEta | Dedekind eta function | |
| HH | Upper complex half-plane | |
| UnsignedInfinity | Unsigned infinity |
Source code for this entry:
Entry(ID("f2e2c2"),
Formula(Equal(BranchPoints(DedekindEta(tau), tau, Union(HH, Set(UnsignedInfinity))), Set())))