SubsetEq
========

.. currentmodule:: proveit.logic

.. autoclass:: SubsetEq
   :show-inheritance:

   .. rubric:: Attributes Summary

   .. autosummary::

      ~SubsetEq.known_left_sides
      ~SubsetEq.known_right_sides

   .. rubric:: Methods Summary

   .. autosummary::

      ~SubsetEq.apply_transitivity
      ~SubsetEq.conclude
      ~SubsetEq.conclude_as_folded
      ~SubsetEq.conclude_via_equality
      ~SubsetEq.conclude_via_equivalence
      ~SubsetEq.deduce_in_bool
      ~SubsetEq.derive_subset_nonmembership
      ~SubsetEq.derive_superset_membership
      ~SubsetEq.remake_constructor
      ~SubsetEq.reversed_operator_str
      ~SubsetEq.unfold

   .. rubric:: Attributes Documentation

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

   .. rubric:: Methods Documentation

   .. automethod:: apply_transitivity
   .. automethod:: conclude
   .. automethod:: conclude_as_folded
   .. automethod:: conclude_via_equality
   .. automethod:: conclude_via_equivalence
   .. automethod:: deduce_in_bool
   .. automethod:: derive_subset_nonmembership
   .. automethod:: derive_superset_membership
   .. automethod:: remake_constructor
   .. automethod:: reversed_operator_str
   .. automethod:: unfold