SubsetProper
============

.. currentmodule:: proveit.logic

.. autoclass:: SubsetProper
   :show-inheritance:

   .. rubric:: Attributes Summary

   .. autosummary::

      ~SubsetProper.known_left_sides
      ~SubsetProper.known_right_sides

   .. rubric:: Methods Summary

   .. autosummary::

      ~SubsetProper.apply_transitivity
      ~SubsetProper.deduce_in_bool
      ~SubsetProper.derive_relaxed
      ~SubsetProper.derive_superset_membership
      ~SubsetProper.remake_constructor
      ~SubsetProper.reversed_operator_str
      ~SubsetProper.unfold

   .. rubric:: Attributes Documentation

   .. autoattribute:: known_left_sides
   .. autoattribute:: known_right_sides

   .. rubric:: Methods Documentation

   .. automethod:: apply_transitivity
   .. automethod:: deduce_in_bool
   .. automethod:: derive_relaxed
   .. automethod:: derive_superset_membership
   .. automethod:: remake_constructor
   .. automethod:: reversed_operator_str
   .. automethod:: unfold