Abs
===

.. currentmodule:: proveit.numbers

.. autoclass:: Abs
   :show-inheritance:

   .. rubric:: Methods Summary

   .. autosummary::

      ~Abs.abs_elimination
      ~Abs.deduce_greater_than_equals_zero
      ~Abs.deduce_in_number_set
      ~Abs.distribute
      ~Abs.do_reduced_simplification
      ~Abs.latex
      ~Abs.not_equal
      ~Abs.string

   .. rubric:: Methods Documentation

   .. automethod:: abs_elimination
   .. automethod:: deduce_greater_than_equals_zero
   .. automethod:: deduce_in_number_set
   .. automethod:: distribute
   .. automethod:: do_reduced_simplification
   .. automethod:: latex
   .. automethod:: not_equal
   .. automethod:: string