Composite
=========

.. currentmodule:: proveit

.. autoclass:: Composite
   :show-inheritance: