Theorem CoxeterSystem.wordProd_append

Modification history