Set
===

.. currentmodule:: proveit.logic

.. autoclass:: Set
   :show-inheritance:

   .. rubric:: Methods Summary

   .. autosummary::

      ~Set.deduce_enum_proper_subset
      ~Set.deduce_enum_subset_eq
      ~Set.elem_substitution
      ~Set.latex
      ~Set.membership_object
      ~Set.moved
      ~Set.nonmembership_object
      ~Set.permutation
      ~Set.permutation_move
      ~Set.permutation_swap
      ~Set.permuted
      ~Set.prove_by_cases
      ~Set.reduced
      ~Set.reduction
      ~Set.reduction_elem
      ~Set.single_elem_substitution
      ~Set.string
      ~Set.swapped

   .. rubric:: Methods Documentation

   .. automethod:: deduce_enum_proper_subset
   .. automethod:: deduce_enum_subset_eq
   .. automethod:: elem_substitution
   .. automethod:: latex
   .. automethod:: membership_object
   .. automethod:: moved
   .. automethod:: nonmembership_object
   .. automethod:: permutation
   .. automethod:: permutation_move
   .. automethod:: permutation_swap
   .. automethod:: permuted
   .. automethod:: prove_by_cases
   .. automethod:: reduced
   .. automethod:: reduction
   .. automethod:: reduction_elem
   .. automethod:: single_elem_substitution
   .. automethod:: string
   .. automethod:: swapped