Commit 2024-12-09 10:07 0e6b027f

feat(Geometry/Manifold): manifolds are locally path-connected (#17142) Shows that spaces modelled on locally path-connected spaces are themselves locally path-connected, and that the common model spaces EuclideanHalfSpace n and EuclideanQuadrant n are locally path-connected.