Theorem Affine.Simplex.direction_mongePlane

Modification history