Div
===

.. currentmodule:: proveit.numbers

.. autoclass:: Div
   :show-inheritance:

   .. rubric:: Methods Summary

   .. autosummary::

      ~Div.cancelation
      ~Div.cancelations
      ~Div.combined_exponents
      ~Div.deduce_in_number_set
      ~Div.deep_eliminated_ones
      ~Div.deep_one_eliminations
      ~Div.distribution
      ~Div.do_reduced_simplification
      ~Div.eliminate_divide_by_one
      ~Div.exponent_combination
      ~Div.latex
      ~Div.remake_constructor
      ~Div.style_options
      ~Div.with_fraction_style
      ~Div.with_inline_style

   .. rubric:: Methods Documentation

   .. automethod:: cancelation
   .. automethod:: cancelations
   .. automethod:: combined_exponents
   .. automethod:: deduce_in_number_set
   .. automethod:: deep_eliminated_ones
   .. automethod:: deep_one_eliminations
   .. automethod:: distribution
   .. automethod:: do_reduced_simplification
   .. automethod:: eliminate_divide_by_one
   .. automethod:: exponent_combination
   .. automethod:: latex
   .. automethod:: remake_constructor
   .. automethod:: style_options
   .. automethod:: with_fraction_style
   .. automethod:: with_inline_style