NumberOrderingRelation
======================

.. currentmodule:: proveit.numbers

.. autoclass:: NumberOrderingRelation
   :show-inheritance:

   .. rubric:: Methods Summary

   .. autosummary::

      ~NumberOrderingRelation.StrongRelationClass
      ~NumberOrderingRelation.WeakRelationClass
      ~NumberOrderingRelation.derive_added
      ~NumberOrderingRelation.derive_shifted
      ~NumberOrderingRelation.side_effects
      ~NumberOrderingRelation.square_both_sides
      ~NumberOrderingRelation.square_root_both_sides

   .. rubric:: Methods Documentation

   .. automethod:: StrongRelationClass
   .. automethod:: WeakRelationClass
   .. automethod:: derive_added
   .. automethod:: derive_shifted
   .. automethod:: side_effects
   .. automethod:: square_both_sides
   .. automethod:: square_root_both_sides