Theorem SchwartzMap.neg_apply

Modification history

2026-06-10 10:42
Mathlib/Analysis/Distribution/SchwartzSpace/Basic.lean
feat(Analysis/Distribution): use `Is*Apply` for `SchwartzMap` (#40447) …
Deleted SchwartzMap.neg_applyView on Github →
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 →