Theorem Affine.Simplex.mongePoint_mem_mongePlane

Modification history