Composition
===========

.. currentmodule:: proveit

.. autoclass:: Composition
   :show-inheritance: