Theorem Real.fourierIntegral_continuousMultilinearMap_apply'

Modification history

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