Theorem ContDiffMapSupportedIn.structureMapCLM_apply_withOrder

Modification history

2026-03-07 10:30
Mathlib/Analysis/Distribution/ContDiffMapSupportedIn.lean
refactor(Distributions): remove "WithOrder" duplication (#36301) …
Deleted ContDiffMapSupportedIn.structureMapCLM_apply_withOrderView on Github →
2025-11-18 11:33
Mathlib/Analysis/Distribution/ContDiffMapSupportedIn.lean
feat(Analysis/Distribution/ContDiffMapSupportedIn): add TopologicalSpace and LocallyConvexSpace instances (#30202) …
Added ContDiffMapSupportedIn.structureMapCLM_apply_withOrderView on Github →