safe_dummy_var
==============

.. currentmodule:: proveit

.. autofunction:: safe_dummy_var