less_eq_numeric_ints

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

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