CartExp
=======

.. currentmodule:: proveit.logic

.. autoclass:: CartExp
   :show-inheritance:

   .. rubric:: Methods Summary

   .. autosummary::

      ~CartExp.deduce_subset_eq_relation
      ~CartExp.formatted
      ~CartExp.latex
      ~CartExp.membership_object
      ~CartExp.string

   .. rubric:: Methods Documentation

   .. automethod:: deduce_subset_eq_relation
   .. automethod:: formatted
   .. automethod:: latex
   .. automethod:: membership_object
   .. automethod:: string