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