Theorem Affine.Simplex.reindex_map

Modification history