Mathlib Changelog
v4
Changelog
About
Github
Theorem
ZMod.invDFT_apply'
Modification history
2024-08-29 01:14
Mathlib/Analysis/Fourier/ZMod.lean
feat(Analysis/Fourier/ZMod): more API for discrete Fourier transform (#14535) …
Added
ZMod.invDFT_apply'
View on Github →