Theorem SchwartzMap.compSubConstCLM_zero

Modification history

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