Theorem CoxeterSystem.IsReflection.length_mul_left_ne

Modification history