Theorem TemperedDistribution.toTemperedDistribution_dirac_eq_delta

Modification history

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