Theorem CoxeterSystem.wordProd_singleton

Modification history