Def TemperedDistribution.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.deltaView on Github →