P
Initializing...
Coxeter relation (s⁻¹t)³ = 1 in the reduced braid group · Prove2Me