mathlib

b18eedb0 - feat(linear_algebra/affine_space/combination): add lemma `finset.map_affine_combination` (#9453)

feat(linear_algebra/affine_space/combination): add lemma `finset.map_affine_combination` (#9453) The other included lemmas `affine_map.coe_sub`, `affine_map.coe_neg` are unrelated but are included to reduce PR overhead.