Theorem SchwartzMap.postcompCLM_apply

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_applyView on Github →