extract_var_tuple_indices
=========================

.. currentmodule:: proveit

.. autofunction:: extract_var_tuple_indices