Theorem Real.tendsto_integral_cexp_sq_smul

Modification history

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