deduce_not_equal_numeric_rationals

proveit.numbers.deduce_not_equal_numeric_rationals(lhs, rhs, \*\*defaults_config)[source]

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.