Theorem CoxeterSystem.map_relations_eq_reindex_relations

Modification history