Theorem TemperedDistribution.fourier_delta_zero

Modification history

2026-01-06 21:44
Mathlib/Analysis/Distribution/TemperedDistribution.lean
feat(Analysis/TemperedDistribution): Fourier transform of the dirac delta (#33230) …
Added TemperedDistribution.fourier_delta_zeroView on Github →