Theorem CoxeterSystem.wordProd_concat

Modification history