Def DirichletCharacter.BadChar.F

Modification history

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