Theorem IsSimplyConnected.isPathConnected

Modification history

2026-01-12 10:37

Mathlib/AlgebraicTopology/FundamentalGroupoid/SimplyConnected.lean

feat(FundamentalGroupoid): define simply connected sets (#33447)

Added IsSimplyConnected.isPathConnected View on Github →