Theorem CoxeterSystem.simple_mul_simple_pow

Modification history