Theorem CoxeterSystem.getD_rightInvSeq_mul_self

Modification history