number_ordering
===============

.. currentmodule:: proveit.numbers

.. autofunction:: number_ordering