Theorem CoxeterSystem.IsReflection.isReflection_inv

Modification history