Theorem IsPathConnected.nonempty

Modification history

2026-01-12 10:37

Mathlib/Topology/Connected/PathConnected.lean

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

Added IsPathConnected.nonempty View on Github →