InvalidAssumptions
==================

.. currentmodule:: proveit

.. autoclass:: InvalidAssumptions
   :show-inheritance: