between): betweenness and midpoints (#17412)

Commit

3 years ago

feat(analysis/convex/between): betweenness and midpoints (#17412) Add two lemmas that the midpoint of two points is between those points.

Author

jsm28

Parents