Theorem Affine.Simplex.map_comp

Modification history