Theorem ZMod.dft_def

Modification history

2024-08-29 01:14
Mathlib/Analysis/Fourier/ZMod.lean
feat(Analysis/Fourier/ZMod): more API for discrete Fourier transform (#14535) …
Modified ZMod.dft_defView on Github →
2024-07-07 12:05
Mathlib/Analysis/Fourier/ZMod.lean
feat(Analysis/Fourier): discrete Fourier transform on `ZMod N` (#13353) …
Added ZMod.dft_defView on Github →