Theorem VectorFourier.fourierIntegral_smul_const
Modification history
2024-08-29 01:14
Mathlib/Analysis/Fourier/FourierTransform.lean
feat(Analysis/Fourier/ZMod): more API for discrete Fourier transform (#14535) …
Deleted VectorFourier.fourierIntegral_smul_constView on Github →