Theorem Affine.Simplex.restrict_map_restrict

Modification history