Theorem Affine.Simplex.mongePlane_comm

Modification history