Theorem CoxeterSystem.IsReflection.isRightInversion_mul_left_iff

Modification history