Assumptions:
TeX:
L\!\left(1, \chi\right) \ne 0 q \in \mathbb{Z}_{\ge 1} \;\mathbin{\operatorname{and}}\; \chi \in G_{q}
Definitions:
Fungrim symbol | Notation | Short description |
---|---|---|
DirichletL | Dirichlet L-function | |
ZZGreaterEqual | Integers greater than or equal to n | |
DirichletGroup | Dirichlet characters with given modulus |
Source code for this entry:
Entry(ID("3d5327"), Formula(NotEqual(DirichletL(1, chi), 0)), Variables(q, chi), Assumptions(And(Element(q, ZZGreaterEqual(1)), Element(chi, DirichletGroup(q)))))