Theorem CoxeterSystem.IsReflection.not_isLeftInversion_mul_right_iff

Modification history