Theorem DirichletCharacter.fourierTransform_eq_gaussSum_mulShift

Modification history

2024-10-22 16:44
Mathlib/Analysis/Fourier/ZMod.lean
feat(NumberTheory/LSeries): functional equation for Dirichlet L-funcs (#16967) …
Modified DirichletCharacter.fourierTransform_eq_gaussSum_mulShiftView on Github →
2024-07-07 12:05
Mathlib/Analysis/Fourier/ZMod.lean
feat(Analysis/Fourier): discrete Fourier transform on `ZMod N` (#13353) …
Added DirichletCharacter.fourierTransform_eq_gaussSum_mulShiftView on Github →