Theorem SchwartzMap.bilinLeftCLM_apply

Modification history

2025-09-30 20:08
Mathlib/Analysis/Distribution/SchwartzSpace.lean
chore(Analysis/Distribution/SchwartzMap): correct a definition and add two lemmas (#29818) …
Added SchwartzMap.bilinLeftCLM_applyView on Github →