Mathlib

An affine combination has weights summing to 1, signs free. Convex needs them nonnegative.