Card
====

.. currentmodule:: proveit.logic

.. autoclass:: Card
   :show-inheritance:

   .. rubric:: Methods Summary

   .. autosummary::

      ~Card.distinct_subset_existence
      ~Card.latex
      ~Card.string

   .. rubric:: Methods Documentation

   .. automethod:: distinct_subset_existence
   .. automethod:: latex
   .. automethod:: string