Theorem Real.tendsto_integral_gaussian_smul

Modification history

2024-03-05 16:05
Mathlib/Analysis/Fourier/Inversion.lean
feat: Fourier inversion formula (#10810) …
Added Real.tendsto_integral_gaussian_smulView on Github →