SimplificationError
===================

.. currentmodule:: proveit.logic

.. autoexception:: SimplificationError