Theorem CoxeterSystem.IsReflection.length_mul_right_ne

Modification history