Theorem SchwartzMap.seminorm_apply

Modification history

2026-02-03 23:11
Mathlib/Analysis/Distribution/SchwartzSpace/Basic.lean
chore(Analysis/SchwartzSpace): make some definitions private (#34552)
Added SchwartzMap.seminorm_applyView on Github →