[basic, topology]): generalize path connectedness of convex sets to topological real vector spaces (#10011)

Commit

4 years ago

feat(analysis/convex/[basic, topology]): generalize path connectedness of convex sets to topological real vector spaces (#10011)

Author

ADedecker

Parents