Commit 2024-11-18 10:53 82e5e81a

refactor(NumberTheory/LSeries): merge QuadraticNonvanishing into Nonvanishing (#19185) The proof of non-vanishing of Dirichlet L-functions on re s = 1 was written in two chunks, since the case of quadratic characters at s = 1 needs to be handled separately. This PR merges together the two files, and makes one more theorem private since it is superseded by more general results proved later on, rendering the case split in the proof invisible to end-users.