Theorem CoxeterSystem.equivCoxeterGroup_apply_of

Modification history