Theorem Matrix.reindex_refl_refl

Modification history