Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-07-29 08:21 80f2762c

View on Github →

feat(topology): assorted topological lemmas (#3619) from the sphere eversion project

Estimated changes