Understanding issorted's lt keyword

[DNF]

@Oscar_Smith

• The elements are equal
• The first element is less than the second

Then it would help a lot if the first clause was made very explicit. And that the lt input is subject to very strict requirements.