Commit 2024-11-19 16:30 265b1fea

View on Github →

feat(Topology/Connected/PathConnected): some instances for locally path-connected spaces (#17064) Shows that locally path-connected spaces are locally connected, and that quotients and disjoint unions of locally path-connected spaces are locally path-connected.

Estimated changes