Commit 2025-11-18 11:33 3a774edf

feat(Analysis/Distribution/ContDiffMapSupportedIn): add TopologicalSpace and LocallyConvexSpace instances (#30202) Add TopologicalSpace instance to ContDiffMapSupportedIn, with the topology of uniform convergence of a function and all its derivatives. Add LocallyConvexSpace instance which follows. We also bundle structureMapLM as a continuous linear map, and state the universal property of the topology. Co-Authored by: @ADedecker