Mathlib Changelog
v4
Changelog
About
Github
Commit
2023-10-05 21:41
167880ba
View on Github →
feat: open subsets of locally connected spaces are locally connected (
#7530
)
Estimated changes
Modified
Mathlib/Topology/Connected.lean
added
theorem
IsOpen.locallyConnectedSpace
added
theorem
OpenEmbedding.locallyConnectedSpace