BooleanSet
==========

.. currentmodule:: proveit.logic

.. autoclass:: BooleanSet
   :show-inheritance:

   .. rubric:: Methods Summary

   .. autosummary::

      ~BooleanSet.fold_as_forall
      ~BooleanSet.forall_evaluation
      ~BooleanSet.membership_object
      ~BooleanSet.nonmembership_object
      ~BooleanSet.unfold_forall

   .. rubric:: Methods Documentation

   .. automethod:: fold_as_forall
   .. automethod:: forall_evaluation
   .. automethod:: membership_object
   .. automethod:: nonmembership_object
   .. automethod:: unfold_forall