mathlib3

514ff6b4 - feat(linear_algebra/affine_space/combination): `congr` lemmas (#17659)

feat(linear_algebra/affine_space/combination): `congr` lemmas (#17659) Add lemmas equating the various forms of affine combinations for different families of weights and points that agree on the `finset` being summed over.