NumberOperation
===============

.. currentmodule:: proveit.numbers

.. autoclass:: NumberOperation
   :show-inheritance:

   .. rubric:: Methods Summary

   .. autosummary::

      ~NumberOperation.bound_via_operand_bound
      ~NumberOperation.deduce_bound

   .. rubric:: Methods Documentation

   .. automethod:: bound_via_operand_bound
   .. automethod:: deduce_bound