Theorem ChartedSpace.locPathConnectedSpace

Modification history

2024-12-09 10:07

Mathlib/Geometry/Manifold/ChartedSpace.lean

feat(Geometry/Manifold): manifolds are locally path-connected (#17142) …

Added ChartedSpace.locPathConnectedSpace View on Github →