Def SchwartzMap.compSubConstCLM

Modification history

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