Mod
===

.. currentmodule:: proveit.numbers

.. autoclass:: Mod
   :show-inheritance:

   .. rubric:: Methods Summary

   .. autosummary::

      ~Mod.deduce_in_interval
      ~Mod.deduce_in_number_set

   .. rubric:: Methods Documentation

   .. automethod:: deduce_in_interval
   .. automethod:: deduce_in_number_set