Def DirichletCharacter.zetaMul

Modification history

2025-07-04 15:43
Mathlib/NumberTheory/LSeries/Nonvanishing.lean
chore: remove unnecessary `noncomputable` attributes after 4.22.0 rc3 (#26751) …
Added DirichletCharacter.zetaMulView on Github →
2025-07-01 00:55
Mathlib/NumberTheory/LSeries/Nonvanishing.lean
chore: bump toolchain to v4.22.0-rc2 (#26564) …
Deleted DirichletCharacter.zetaMulView on Github →
2024-11-18 10:53
Mathlib/NumberTheory/LSeries/Nonvanishing.lean
refactor(NumberTheory/LSeries): merge `QuadraticNonvanishing` into `Nonvanishing` (#19185) …
Modified DirichletCharacter.zetaMulView on Github →
2024-11-01 12:21
Mathlib/NumberTheory/LSeries/QuadraticNonvanishing.lean
feat(NumberTheory/LSeries/QuadraticNonvanishing): new file (#18302) …
Added DirichletCharacter.zetaMulView on Github →