mathlib
aafc4861 - feat(topology/ordered): intervals frontiers (#3617)

Commit

5 years ago

feat(topology/ordered): intervals frontiers (#3617) from the sphere eversion project

Author

PatrickMassot

Parents