less_numeric_ints

proveit.numbers.less_numeric_ints(a, b)[source]

Return True iff a < b. a and b must be numeric integer expressions.