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