TheoryException
===============

.. currentmodule:: proveit

.. autoexception:: TheoryException