Theorem Finset.weightedVSubOfPoint_vadd

Modification history

2024-07-12 20:12
Mathlib/LinearAlgebra/AffineSpace/Combination.lean
feat: Translation of affine bases (#14682) …
Added Finset.weightedVSubOfPoint_vaddView on Github →