Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-07-22 09:11 80d79069

View on Github →

feat(topology/algebra/module/finite_dimension): add 2 simp lemmas (#15610) From the sphere eversion project. Co-Authored-By: Patrick Massot patrickmassot@free.fr

Estimated changes