Mult
====

.. currentmodule:: proveit.numbers

.. autoclass:: Mult
   :show-inheritance:

   .. rubric:: Attributes Summary

   .. autosummary::

      ~Mult.multiplied_numerals

   .. rubric:: Methods Summary

   .. autosummary::

      ~Mult.associated
      ~Mult.association
      ~Mult.cancelation
      ~Mult.cancelations
      ~Mult.combined_exponents
      ~Mult.commutation
      ~Mult.commuted
      ~Mult.conversion_to_addition
      ~Mult.deduce_divided_by
      ~Mult.deduce_in_number_set
      ~Mult.deep_eliminated_ones
      ~Mult.deep_one_eliminations
      ~Mult.disassociated
      ~Mult.disassociation
      ~Mult.distributed
      ~Mult.distribution
      ~Mult.do_reduced_evaluation
      ~Mult.do_reduced_simplification
      ~Mult.exponent_combination
      ~Mult.factorization
      ~Mult.factorized
      ~Mult.group_commutation
      ~Mult.group_commuted
      ~Mult.index
      ~Mult.neg_simplification
      ~Mult.neg_simplifications
      ~Mult.not_equal
      ~Mult.one_elimination
      ~Mult.one_eliminations
      ~Mult.pull

   .. rubric:: Attributes Documentation

   .. autoattribute:: multiplied_numerals

   .. rubric:: Methods Documentation

   .. automethod:: associated
   .. automethod:: association
   .. automethod:: cancelation
   .. automethod:: cancelations
   .. automethod:: combined_exponents
   .. automethod:: commutation
   .. automethod:: commuted
   .. automethod:: conversion_to_addition
   .. automethod:: deduce_divided_by
   .. automethod:: deduce_in_number_set
   .. automethod:: deep_eliminated_ones
   .. automethod:: deep_one_eliminations
   .. automethod:: disassociated
   .. automethod:: disassociation
   .. automethod:: distributed
   .. automethod:: distribution
   .. automethod:: do_reduced_evaluation
   .. automethod:: do_reduced_simplification
   .. automethod:: exponent_combination
   .. automethod:: factorization
   .. automethod:: factorized
   .. automethod:: group_commutation
   .. automethod:: group_commuted
   .. automethod:: index
   .. automethod:: neg_simplification
   .. automethod:: neg_simplifications
   .. automethod:: not_equal
   .. automethod:: one_elimination
   .. automethod:: one_eliminations
   .. automethod:: pull