Theorem Convex.locPathConnectedSpace

Modification history

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