Theorem DirichletCharacter.zetaMul_prime_pow_nonneg

Modification history

2024-11-18 10:53
Mathlib/NumberTheory/LSeries/Nonvanishing.lean
refactor(NumberTheory/LSeries): merge `QuadraticNonvanishing` into `Nonvanishing` (#19185) …
Modified DirichletCharacter.zetaMul_prime_pow_nonnegView on Github →
2024-11-01 12:21
Mathlib/NumberTheory/LSeries/QuadraticNonvanishing.lean
feat(NumberTheory/LSeries/QuadraticNonvanishing): new file (#18302) …
Added DirichletCharacter.zetaMul_prime_pow_nonnegView on Github →