Theorem Basis.reindex_refl

Modification history