Theorem CoxeterSystem.simple_mul_simple_pow'

Modification history