Mathlib Changelog
v4
Changelog
About
Github
Commit
2026-03-02 23:42
190bf64b
View on Github →
feat(Analysis/SchwartzSpace): post composition with continuous linear map (
#35787
)
Estimated changes
Modified
Mathlib/Analysis/Distribution/SchwartzSpace/Basic.lean
added
def
SchwartzMap.postcompCLM
added
theorem
SchwartzMap.postcompCLM_apply
added
theorem
SchwartzMap.postcompCLM_postcompCLM