Theorem TemperedDistribution.delta_apply

Modification history

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