Theorem DirichletCharacter.Odd.LFunction_neg_two_mul_nat_sub_one

Modification history

2024-10-22 16:44
Mathlib/NumberTheory/LSeries/DirichletContinuation.lean
feat(NumberTheory/LSeries): functional equation for Dirichlet L-funcs (#16967) …
Added DirichletCharacter.Odd.LFunction_neg_two_mul_nat_sub_oneView on Github →