Def Real.fourierIntegralInv

Modification history

2025-11-12 01:56
Mathlib/Analysis/Fourier/FourierTransform.lean
feat(Analysis/Fourier): introduce notation type class for the Fourier transform (#31115) …
Deleted Real.fourierIntegralInvView on Github →
2024-02-28 07:04
Mathlib/Analysis/Fourier/FourierTransform.lean
feat: the Fourier transform is self-adjoint (#10833) …
Added Real.fourierIntegralInvView on Github →