mathlib

7756265e - chore(linear_algebra/affine_space/ordered): compare endpoints to midpoint (#4851)