mathlib
86b9ee4e - feat(algebra|data): misc lemmas in low-level files (#16948)

Commit

3 years ago

feat(algebra|data): misc lemmas in low-level files (#16948) * From the sphere eversion project

Author

fpvandoorn

Parents