Theorem ZMod.dft_even_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_even_iffView on Github →