Theorem SchwartzMap.postcompCLM_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_postcompCLMView on Github →