mathlib
2aa3fd94 - feat(analysis/convex): a convex set is contractible (#14732)

Commit

3 years ago

feat(analysis/convex): a convex set is contractible (#14732)

Author

urkud

urkud

Parents

Loading