Difference
==========

.. currentmodule:: proveit.logic

.. autoclass:: Difference
   :show-inheritance:

   .. rubric:: Methods Summary

   .. autosummary::

      ~Difference.deduce_membership
      ~Difference.deduce_nonmembership
      ~Difference.membership_equivalence
      ~Difference.nonmembership_equivalence
      ~Difference.unfold_membership

   .. rubric:: Methods Documentation

   .. automethod:: deduce_membership
   .. automethod:: deduce_nonmembership
   .. automethod:: membership_equivalence
   .. automethod:: nonmembership_equivalence
   .. automethod:: unfold_membership