Theorem SchwartzMap.lineDerivOp_compCLMOfContinuousLinearEquiv

Modification history

2026-01-19 07:36
Mathlib/Analysis/Distribution/SchwartzSpace/Basic.lean
chore(Analysis/Distribution): split off derivatives from `SchwartzSpace` and create new folder (#34027) …
Modified SchwartzMap.lineDerivOp_compCLMOfContinuousLinearEquivView on Github →
2026-01-15 11:10
Mathlib/Analysis/Distribution/SchwartzSpace.lean
feat(Analysis/FourierSchwartz): the derivative of the Fourier transform (#33752) …
Added SchwartzMap.lineDerivOp_compCLMOfContinuousLinearEquivView on Github →