Theorem CoxeterSystem.simple_sq

Modification history