isLtBruhat -- compare two Weyl group elements in the Bruhat order

Ways to use isLtBruhat:

• isLtBruhat(WeylGroupElement,WeylGroupElement) -- compare two Weyl group elements in the Bruhat order

For the programmer

The object isLtBruhat is a method function.

The source of this document is in WeylGroups.m2:4225:0.