mathlib3

ba2245ed - feat(analysis/convex/between): betweenness and affine combinations (#17912)

feat(analysis/convex/between): betweenness and affine combinations (#17912) Add some lemmas about betweenness for affine combinations in relation to the coefficients in those combinations.