Theorem SchwartzMap.compSubConstCLM_comp

Modification history

2026-03-10 22:08
Mathlib/Analysis/Distribution/SchwartzSpace/Basic.lean
feat(Analysis/SchwartzMap): translation of arguments (#35781) …
Added SchwartzMap.compSubConstCLM_compView on Github →