Theorem Affine.Simplex.mongePlane_def

Modification history