Theorem CoxeterSystem.simple_mul_simple_cancel_right

Modification history