Theorem CoxeterSystem.length_leftInvSeq

Modification history