m/jmichel7/Chevie.jl/blob/fbddb048572eb9b42fb2c8f80113717339b328da/src/CoxGroups.jl#L436-L455">source</a></section></article><article class="docstring"><header><a class="docstring-binding" id="Chevie.CoxGroups.bruhatless" href="#Chevie.CoxGroups.bruhatless"><code>Chevie.CoxGroups.bruhatless</code></a> ‚Äî <span class="docstring-category">Function</span></header><section><div><p><code>bruhatless(W, x, y)</code></p><p>whether <code>x‚â§y</code> in the Bruhat order, for <code>x,y‚àà W</code>. We ha