Theorem CoxeterSystem.getD_leftInvSeq_mul_wordProd

Modification history