Theorem differentiableOn_riemannZeta

Modification history

2026-04-02 08:19
Mathlib/NumberTheory/LSeries/RiemannZeta.lean
feat(NumberTheory): zeros of Riemann zeta on compact sets are finite (#37328) …
Added differentiableOn_riemannZetaView on Github →