TeX:
\operatorname{Poles}\!\left(\zeta\!\left(s\right), s, \mathbb{C} \cup \left\{{\tilde \infty}\right\}\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), s, Union(CC, Set(UnsignedInfinity))), Set(1))))