less_eq_numeric_rationals

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

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