Theorem CoxeterSystem.getD_leftInvSeq_mul_self

Modification history