A short proof of the irreflexivity conjecture

2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/152788Gives a short proof of Dehornoy's latest result. The same simple argument (and more) was discovered by Laver's student Larue.LogicA short proof of the irreflexivity conjecturetext