Theorem SchwartzMap.integral_fourier_mul_eq

Modification history

2025-12-24 01:45
Mathlib/Analysis/Distribution/FourierSchwartz.lean
feat(Analysis/TemperedDistribution): the Fourier transform on tempered distributions extends the FT on Schwartz space (#33232) …
Added SchwartzMap.integral_fourier_mul_eqView on Github →