Surjections
===========

.. currentmodule:: proveit.logic

.. autoclass:: Surjections
   :show-inheritance:

   .. rubric:: Methods Summary

   .. autosummary::

      ~Surjections.latex

   .. rubric:: Methods Documentation

   .. automethod:: latex