Theorem SchwartzMap.delta_apply

Modification history

2026-01-06 21:44

Mathlib/Analysis/Distribution/SchwartzSpace.lean

feat(Analysis/TemperedDistribution): Fourier transform of the dirac delta (#33230) …

Deleted SchwartzMap.delta_apply View on Github →

2023-06-19 04:18

Mathlib/Analysis/SchwartzSpace.lean

feat: port Analysis.SchwartzSpace (#4762)

Added SchwartzMap.delta_apply View on Github →