Mathlib Changelog
v4
Changelog
About
Github
Theorem
DirichletCharacter.Odd.to_fun
Modification history
2024-10-22 16:44
Mathlib/NumberTheory/DirichletCharacter/Basic.lean
feat(NumberTheory/LSeries): functional equation for Dirichlet L-funcs (#16967) …
Added
DirichletCharacter.Odd.to_fun
View on Github →