Theorem CoxeterSystem.rightInvSeq_reverse

Modification history