Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Commit
2020-07-29 21:50
86c83c3f
View on Github →
feat(topology): two missing connectedness lemmas (
#3626
) From the sphere eversion project.
Estimated changes
Modified
src/topology/subset_properties.lean
added
theorem
is_connected_iff_connected_space
added
theorem
is_preconnected_iff_preconnected_space