Def riemannZetaZeros

Modification history

2026-07-24 07:15
Mathlib/NumberTheory/LSeries/ZetaZeros.lean
chore: add missing `noncomputable` (#41446) …
Deleted riemannZetaZerosView on Github →
2026-04-02 08:19
Mathlib/NumberTheory/LSeries/ZetaZeros.lean
feat(NumberTheory): zeros of Riemann zeta on compact sets are finite (#37328) …
Added riemannZetaZerosView on Github →