I think the docstring for < should say "strictly increasing" instead of "monotonically increasing." In contrast, I think <= is the function that tests for "monotonically increasing."
Here's a quote from wikitionary...
monotonic increasing: (mathematics, of a function) always increasing or remaining constant, and never decreasing; contrast this with strictly increasing