Theorem CoxeterSystem.IsReflection.pow_two

Modification history