Theorem DirichletCharacter.isMultiplicative_zetaMul

Modification history

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