Theorem IsSimplyConnected.nonempty

Modification history

2026-01-12 10:37

Mathlib/AlgebraicTopology/FundamentalGroupoid/SimplyConnected.lean

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

Added IsSimplyConnected.nonempty View on Github →