free_var_ranges
===============

.. currentmodule:: proveit

.. autofunction:: free_var_ranges