Mathlib v3 is deprecated. Go to Mathlib v4

Theorem finset.map_affine_combination

Modification history

2021-09-30 18:34

src/linear_algebra/affine_space/combination.lean

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

Added finset.map_affine_combination View on Github →