Theorem TestFunction.topologicalSpace_le_iff

Modification history

2025-12-01 09:11
Mathlib/Analysis/Distribution/TestFunction.lean
feat: endow test functions with the natural LF topology (#31806) …
Added TestFunction.topologicalSpace_le_iffView on Github →