topology): Closure of an open segment (#18589)

Commit

2 years ago

feat(analysis/convex/topology): Closure of an open segment (#18589) The closure of an open segment is the corresponding closed segment.

Author

YaelDillies

Parents