Def IsSimplyConnected

Modification history

2026-01-12 10:37

Mathlib/AlgebraicTopology/FundamentalGroupoid/SimplyConnected.lean

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

Added IsSimplyConnected View on Github →