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_smul'View on Github →