Theorem ChartedSpace.locPathConnectedSpace

Modification history

2026-06-21 18:23
Mathlib/Geometry/Manifold/ChartedSpace.lean
refactor(Topology): rename ```LocPathConnected``` (#40868) …
Deleted ChartedSpace.locPathConnectedSpaceView on Github →
2024-12-09 10:07
Mathlib/Geometry/Manifold/ChartedSpace.lean
feat(Geometry/Manifold): manifolds are locally path-connected (#17142) …
Added ChartedSpace.locPathConnectedSpaceView on Github →