SetMembership
=============

.. currentmodule:: proveit.logic

.. autoclass:: SetMembership
   :show-inheritance: