Assumptions:
TeX:
L\!\left(s, \chi_{1 \, . \, 1}\right) = \zeta\!\left(s\right)
s \in \mathbb{C}Definitions:
| Fungrim symbol | Notation | Short description |
|---|---|---|
| DirichletL | Dirichlet L-function | |
| DirichletCharacter | Dirichlet character | |
| RiemannZeta | Riemann zeta function | |
| CC | Complex numbers |
Source code for this entry:
Entry(ID("a9337b"),
Formula(Equal(DirichletL(s, DirichletCharacter(1, 1)), RiemannZeta(s))),
Variables(s),
Assumptions(Element(s, CC)))