Theorem Convex.combo_affine_apply

Modification history