Theorem CoxeterSystem.prod_leftInvSeq

Modification history