total_ordering
==============

.. currentmodule:: proveit

.. autofunction:: total_ordering