Matsumoto theorem (source code)

= Matsumoto theorem
{c}

Matsumoto's theorem says that any two reduced expressions for one element of a Coxeter group are connected by a finite <sequence> of braid moves.