Theorem Affine.Simplex.mkOfPoint_points

Modification history