Theorem ChartedSpace.locallyPathConnectedSpace

Modification history

2026-06-21 18:23
Mathlib/Geometry/Manifold/ChartedSpace.lean
refactor(Topology): rename ```LocPathConnected``` (#40868) …
Added ChartedSpace.locallyPathConnectedSpaceView on Github →