not_equal_numeric_rationals
===========================

.. currentmodule:: proveit.numbers

.. autofunction:: not_equal_numeric_rationals