Theorem Convex.locPathConnectedSpace

Modification history

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 →