Mathlib Changelog
v4
Changelog
About
Github
Theorem
Topology.IsEmbedding.isSimplyConnected_image
Modification history
2026-01-12 10:37
Mathlib/AlgebraicTopology/FundamentalGroupoid/SimplyConnected.lean
feat(FundamentalGroupoid): define simply connected sets (#33447)
Added
Topology.IsEmbedding.isSimplyConnected_image
View on Github →