Theorem CoxeterSystem.inv_simple

Modification history