Theorem SchwartzMap.neg_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.neg_applyView on Github →