mathlib
b51f18f7 - feat(topology): properties about intervals and paths (#9914)

Commit

4 years ago

feat(topology): properties about intervals and paths (#9914) * From the sphere eversion project * Properties about paths, the interval, and `proj_Icc`

Author

fpvandoorn

Parents

8d52be4a

mathlib b51f18f7 - feat(topology): properties about intervals and paths (#9914)

mathlib
b51f18f7 - feat(topology): properties about intervals and paths (#9914)