Theorem CoxeterSystem.wordProd_mul_getD_rightInvSeq

Modification history