less_numeric_rationals

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

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