Theorem CoxeterSystem.simple_induction

Modification history