Laver's well-order conjecture for Hurwitz-action domains
Let (S,∗)(S, \mathbin{*})(S,∗) be a left-cancellative LD-system, let BnB_nBn be the braid group on nnn strands, and let…