2025-11-18 11:33
Mathlib/Analysis/Distribution/ContDiffMapSupportedIn.lean
feat(Analysis/Distribution/ContDiffMapSupportedIn): add TopologicalSpace and LocallyConvexSpace instances (#30202) …
Added ContDiffMapSupportedIn.structureMapCLM_eq_of_scalars