Theorem Affine.Simplex.map_subtype_restrict

Modification history