Theorem CoxeterSystem.IsReflection.odd_length

Modification history