MonDecFuncs
===========

.. currentmodule:: proveit.numbers

.. autoclass:: MonDecFuncs
   :show-inheritance:

   .. rubric:: Attributes Summary

   .. autosummary::

      ~MonDecFuncs.default_domain
      ~MonDecFuncs.is_proper_class
      ~MonDecFuncs.known_mon_dec_funcs_memberships

   .. rubric:: Methods Summary

   .. autosummary::

      ~MonDecFuncs.get_domain
      ~MonDecFuncs.membership_object
      ~MonDecFuncs.yield_known_domain

   .. rubric:: Attributes Documentation

   .. autoattribute:: default_domain
   .. autoattribute:: is_proper_class
   .. autoattribute:: known_mon_dec_funcs_memberships

   .. rubric:: Methods Documentation

   .. automethod:: get_domain
   .. automethod:: membership_object
   .. automethod:: yield_known_domain