NotExists
=========

.. currentmodule:: proveit.logic

.. autoclass:: NotExists
   :show-inheritance:

   .. rubric:: Methods Summary

   .. autosummary::

      ~NotExists.conclude_as_folded
      ~NotExists.side_effects
      ~NotExists.unfold

   .. rubric:: Methods Documentation

   .. automethod:: conclude_as_folded
   .. automethod:: side_effects
   .. automethod:: unfold