proveit.numbers.
deduce_not_equal_numeric_rationals
Assuming a and b are numeric rationals, prove and return that a ≠ b.
Keyword arguments are accepted for temporarily changing any of the attributes of proveit.defaults.