Theorem ContDiffMapSupportedIn.continuous_iff_comp

Modification history

2025-11-18 11:33

Mathlib/Analysis/Distribution/ContDiffMapSupportedIn.lean

feat(Analysis/Distribution/ContDiffMapSupportedIn): add TopologicalSpace and LocallyConvexSpace instances (#30202) …

Added ContDiffMapSupportedIn.continuous_iff_comp View on Github →