StrictSubset
============

.. currentmodule:: proveit.logic

.. autoclass:: StrictSubset
   :show-inheritance:

   .. rubric:: Attributes Summary

   .. autosummary::

      ~StrictSubset.known_left_sides
      ~StrictSubset.known_right_sides

   .. rubric:: Methods Summary

   .. autosummary::

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