Theorem fourier_gaussian_pi

Modification history

2025-11-18 20:14

Mathlib/Analysis/SpecialFunctions/Gaussian/FourierTransform.lean

chore(Analysis/Fourier): rename theorems (#31687)

Added fourier_gaussian_pi View on Github →