var_range
=========

.. currentmodule:: proveit

.. autofunction:: var_range