Def CoxeterSystem.ofCoxeterGroup

Modification history