TeX:
\operatorname{BranchCuts}\!\left(\eta\!\left(\tau\right), \tau, \mathbb{H}\right) = \left\{\right\}Definitions:
| Fungrim symbol | Notation | Short description |
|---|---|---|
| DedekindEta | Dedekind eta function | |
| HH | Upper complex half-plane |
Source code for this entry:
Entry(ID("6d7668"),
Formula(Equal(BranchCuts(DedekindEta(tau), tau, HH), Set())))