Theorem CoxeterSystem.IsReduced.nodup_leftInvSeq

Modification history