Theorem riemannZeta_ne_zero_of_one_le_re

Modification history

2024-11-18 10:53
Mathlib/NumberTheory/LSeries/Nonvanishing.lean
refactor(NumberTheory/LSeries): merge `QuadraticNonvanishing` into `Nonvanishing` (#19185) …
Modified riemannZeta_ne_zero_of_one_le_reView on Github →
2024-11-18 07:41
Mathlib/NumberTheory/LSeries/Nonvanishing.lean
feat(NumberTheory/LSeries/Nonvanishing): new file (#19043) …
Added riemannZeta_ne_zero_of_one_le_reView on Github →