Theorem TemperedDistribution.fourierMultiplierCLM_toTemperedDistributionCLM_eq

Modification history

2026-03-10 22:48
Mathlib/Analysis/Distribution/FourierMultiplier.lean
feat(Analysis/Distribution): Fourier multiplier (#34099) …
Added TemperedDistribution.fourierMultiplierCLM_toTemperedDistributionCLM_eqView on Github →