Intersect
=========

.. currentmodule:: proveit.logic

.. autoclass:: Intersect
   :show-inheritance:

   .. rubric:: Methods Summary

   .. autosummary::

      ~Intersect.membership_object
      ~Intersect.nonmembership_object

   .. rubric:: Methods Documentation

   .. automethod:: membership_object
   .. automethod:: nonmembership_object