Theorem DirichletCharacter.apply_eq_toArithmeticFunction_apply

Modification history

2024-11-01 12:21
Mathlib/NumberTheory/LSeries/Dirichlet.lean
feat(NumberTheory/LSeries/QuadraticNonvanishing): new file (#18302) …
Added DirichletCharacter.apply_eq_toArithmeticFunction_applyView on Github →