Mathlib Changelog
v4
Changelog
About
Github
Def
SchwartzMap.postcompCLM
Modification history
2026-03-02 23:42
Mathlib/Analysis/Distribution/SchwartzSpace/Basic.lean
feat(Analysis/SchwartzSpace): post composition with continuous linear map (#35787)
Added
SchwartzMap.postcompCLM
View on Github →