ModAbs
======

.. currentmodule:: proveit.numbers

.. autoclass:: ModAbs
   :show-inheritance:

   .. rubric:: Methods Summary

   .. autosummary::

      ~ModAbs.deduce_in_number_set
      ~ModAbs.latex
      ~ModAbs.string

   .. rubric:: Methods Documentation

   .. automethod:: deduce_in_number_set
   .. automethod:: latex
   .. automethod:: string