Commit 2024-03-05 16:05 9fb833b8
View on Github →feat: Fourier inversion formula (#10810)
We show the Fourier inversion formula on finite-dimensional real inner product spaces: if f and its Fourier transform are both integrable, then 𝓕⁻ (𝓕 f) = f at continuity points of f.