Theorem DirichletCharacter.IsPrimitive.fourierTransform_eq_inv_mul_gaussSum

Modification history

2024-10-22 16:44
Mathlib/Analysis/Fourier/ZMod.lean
feat(NumberTheory/LSeries): functional equation for Dirichlet L-funcs (#16967) …
Added DirichletCharacter.IsPrimitive.fourierTransform_eq_inv_mul_gaussSumView on Github →