Theorem Dioph.reindex_dioph

Modification history