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)))