Theorem CoxeterSystem.reindex_simple

Modification history