Theorem Affine.Simplex.map_mkOfPoint

Modification history