Theorem ZMod.dft_odd_iff

Modification history

2024-09-18 09:20
Mathlib/Analysis/Fourier/ZMod.lean
feat(Analysis/Fourier/ZMod): DFT preserves even/odd functions (#16911)
Added ZMod.dft_odd_iffView on Github →