used_literals
=============

.. currentmodule:: proveit

.. autofunction:: used_literals