Theorem CoxeterSystem.simple_mul_simple_self

Modification history