Assumptions:
TeX:
\zeta\!\left(0, a\right) = \frac{1}{2} - a
a \in \mathbb{C}Definitions:
| Fungrim symbol | Notation | Short description |
|---|---|---|
| HurwitzZeta | Hurwitz zeta function | |
| CC | Complex numbers |
Source code for this entry:
Entry(ID("d99808"),
Formula(Equal(HurwitzZeta(0, a), Sub(Div(1, 2), a))),
Variables(a),
Assumptions(Element(a, CC)))