Theorem CoxeterSystem.simple_induction_right

Modification history