Theorem SchwartzMap.fourier_fderivCLM_eq

Modification history

2026-01-15 11:10
Mathlib/Analysis/Distribution/FourierSchwartz.lean
feat(Analysis/FourierSchwartz): the derivative of the Fourier transform (#33752) …
Added SchwartzMap.fourier_fderivCLM_eqView on Github →