Theorem VectorFourier.fourierIntegral_continuousMultilinearMap_apply

Modification history

2024-04-19 02:04
Mathlib/Analysis/Fourier/FourierTransform.lean
feat: expand basic API around Fourier integrals (#12153) …
Added VectorFourier.fourierIntegral_continuousMultilinearMap_applyView on Github →