On a conjecture by Dehornoy (Q2427216)

From MaRDI portal