Theorem CoxeterSystem.isRightInversion_simple_iff_isRightDescent

Modification history