Assumptions:
TeX:
\rho_{-n} = \overline{\rho_{n}} n \in \mathbb{Z} \;\mathbin{\operatorname{and}}\; n \ne 0
Definitions:
Fungrim symbol | Notation | Short description |
---|---|---|
RiemannZetaZero | Nontrivial zero of the Riemann zeta function | |
Conjugate | Complex conjugate | |
ZZ | Integers |
Source code for this entry:
Entry(ID("60c2ec"), Formula(Equal(RiemannZetaZero(Neg(n)), Conjugate(RiemannZetaZero(n)))), Variables(n), Assumptions(And(Element(n, ZZ), NotEqual(n, 0))))