mathlib3
660a6c49 - feat(topology): misc topological lemmas (#4091)

Commit

5 years ago

feat(topology): misc topological lemmas (#4091) From the sphere eversion project.

References

Author

PatrickMassot

Parents