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