Theorem Affine.Simplex.restrict_map_inclusion

Modification history