mathlib
80f2762c - feat(topology): assorted topological lemmas (#3619)

Commit

5 years ago

feat(topology): assorted topological lemmas (#3619) from the sphere eversion project Co-authored-by: Yury G. Kudryashov <urkud@urkud.name>

Author

PatrickMassot

Parents