Theorem CoxeterSystem.isRightInversion_of_mem_rightInvSeq

Modification history