Theorem CoxeterSystem.wordProd_surjective

Modification history