Theorem CoxeterSystem.simple_induction_left

Modification history