Commit 2022-12-06 20:53 514ff6b4
View on Github →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.