TeX:
\mathop{\operatorname{poles}\,}\limits_{s \in \mathbb{C} \cup \left\{{\tilde \infty}\right\}} \zeta\!\left(s\right) = \left\{1\right\}Definitions:
| Fungrim symbol | Notation | Short description |
|---|---|---|
| RiemannZeta | Riemann zeta function | |
| CC | Complex numbers | |
| UnsignedInfinity | Unsigned infinity |
Source code for this entry:
Entry(ID("52c4ab"),
Formula(Equal(Poles(RiemannZeta(s), ForElement(s, Union(CC, Set(UnsignedInfinity)))), Set(1))))