safe_dummy_vars
===============

.. currentmodule:: proveit

.. autofunction:: safe_dummy_vars