ExprTupleError
==============

.. currentmodule:: proveit

.. autoexception:: ExprTupleError