mathlib3

37f43bff - feat(linear_algebra/affine_space/barycentric_coords): define barycentric coordinates (#9472)