Def TemperedDistribution.fourierTransformCLM

Modification history

2026-01-14 05:21
Mathlib/Analysis/Distribution/TemperedDistribution.lean
chore(Analysis/Fourier): split type class, add continuity one (#33633) …
Deleted TemperedDistribution.fourierTransformCLMView on Github →
2025-12-12 00:57
Mathlib/Analysis/Distribution/TemperedDistribution.lean
feat(Analysis/Distribution): definition of tempered distributions (#31757) …
Added TemperedDistribution.fourierTransformCLMView on Github →