NotSubsetEq
===========

.. currentmodule:: proveit.logic

.. autoclass:: NotSubsetEq
   :show-inheritance:

   .. rubric:: Methods Summary

   .. autosummary::

      ~NotSubsetEq.conclude
      ~NotSubsetEq.conclude_as_folded
      ~NotSubsetEq.deduce_in_bool
      ~NotSubsetEq.remake_constructor
      ~NotSubsetEq.reversed_operator_str
      ~NotSubsetEq.side_effects
      ~NotSubsetEq.unfold

   .. rubric:: Methods Documentation

   .. automethod:: conclude
   .. automethod:: conclude_as_folded
   .. automethod:: deduce_in_bool
   .. automethod:: remake_constructor
   .. automethod:: reversed_operator_str
   .. automethod:: side_effects
   .. automethod:: unfold