Theorem Affine.Simplex.mem_affineSpan_image_iff

Modification history