TheoryPackage
=============

.. currentmodule:: proveit

.. autoclass:: TheoryPackage
   :show-inheritance: