Theorem Affine.Simplex.mongePoint_mem_affineSpan

Modification history