Theorem CoxeterSystem.rightInvSeq_nil

Modification history