Theorem CoxeterSystem.leftInvSeq_nil

Modification history