deduce_not_equal_numeric_rationals
==================================

.. currentmodule:: proveit.numbers

.. autofunction:: deduce_not_equal_numeric_rationals