basic): lemmas about midpoint and segment (#10682)

Commit

4 years ago

feat(analysis/convex/basic): lemmas about midpoint and segment (#10682) Co-authored-by: Johan Commelin <johan@commelin.net>

Author

ADedecker

Parents