Conditional
===========

.. currentmodule:: proveit

.. autoclass:: Conditional
   :show-inheritance:

   .. rubric:: Methods Summary

   .. autosummary::

      ~Conditional.auto_reduction
      ~Conditional.latex
      ~Conditional.remake_arguments
      ~Conditional.string
      ~Conditional.style_options
      ~Conditional.with_comma_delimiter
      ~Conditional.with_conjunction_delimiter

   .. rubric:: Methods Documentation

   .. automethod:: auto_reduction
   .. automethod:: latex
   .. automethod:: remake_arguments
   .. automethod:: string
   .. automethod:: style_options
   .. automethod:: with_comma_delimiter
   .. automethod:: with_conjunction_delimiter