Theorem CoxeterSystem.rightInvSeq_drop

Modification history