Theorem FreeGroupBasis.reindex_apply

Modification history