less_eq_numeric_rationals
=========================

.. currentmodule:: proveit.numbers

.. autofunction:: less_eq_numeric_rationals