ClassNonmembership
==================

.. currentmodule:: proveit.logic

.. autoclass:: ClassNonmembership
   :show-inheritance:

   .. rubric:: Methods Summary

   .. autosummary::

      ~ClassNonmembership.conclude
      ~ClassNonmembership.deduce_in_bool
      ~ClassNonmembership.definition
      ~ClassNonmembership.side_effects

   .. rubric:: Methods Documentation

   .. automethod:: conclude
   .. automethod:: deduce_in_bool
   .. automethod:: definition
   .. automethod:: side_effects