SetNonmembership
================

.. currentmodule:: proveit.logic

.. autoclass:: SetNonmembership
   :show-inheritance: