Theorem isDiscrete_riemannZetaZeros

Modification history

2026-07-22 16:25

Mathlib/NumberTheory/LSeries/ZetaZeros.lean

style: fix by on newline (#41794) …

Modified isDiscrete_riemannZetaZeros View 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 isDiscrete_riemannZetaZeros View on Github →