DuplicateLiteralError
=====================

.. currentmodule:: proveit

.. autoexception:: DuplicateLiteralError