X-Nico

Robbins algebra

William McCune proved the conjecture in 1996, using the automated theorem prover EQP.

see also