mathlib
04f45054 - feat(analysis/convex/join): Join of sets (#14676)

Commit
3 years ago
feat(analysis/convex/join): Join of sets (#14676) Define the join of two sets as the union of all segments between them.
Author
Parents
Loading