Theorem CoxeterSystem.IsReflection.mul_self

Modification history