ProperSubset
============

.. currentmodule:: proveit.logic

.. autoclass:: ProperSubset
   :show-inheritance:

   .. rubric:: Attributes Summary

   .. autosummary::

      ~ProperSubset.known_left_sides
      ~ProperSubset.known_right_sides

   .. rubric:: Methods Summary

   .. autosummary::

      ~ProperSubset.apply_transitivity
      ~ProperSubset.deduce_in_bool
      ~ProperSubset.derive_relaxed
      ~ProperSubset.derive_superset_membership
      ~ProperSubset.remake_constructor
      ~ProperSubset.reversed_operator_str
      ~ProperSubset.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