Theorem Function.zero_of_even_and_odd

Modification history

2024-09-18 09:20
Mathlib/Algebra/Group/EvenFunction.lean
feat(Analysis/Fourier/ZMod): DFT preserves even/odd functions (#16911)
Modified Function.zero_of_even_and_oddView on Github →
2024-09-13 06:50
Mathlib/Algebra/Group/EvenFunction.lean
feat(Algebra/Group): define even and odd functions (#16446) …
Added Function.zero_of_even_and_oddView on Github →