Theorem CoxeterSystem.mulEquiv_apply_coe

Modification history