simplified_index
================

.. currentmodule:: proveit

.. autofunction:: simplified_index