simplified_indices
==================

.. currentmodule:: proveit

.. autofunction:: simplified_indices