Theorem CoxeterSystem.isRightInversion_inv_iff

Modification history