mathlib
84b450d4 - feat(topology): path connected spaces (#3627)

Commit

5 years ago

feat(topology): path connected spaces (#3627) From the sphere eversion project. Co-authored-by: sgouezel <sebastien.gouezel@univ-rennes1.fr>

Author

PatrickMassot

Parents