Theorem charmatrix_reindex

Modification history