simplified_index

proveit.simplified_index(index, \*, requirements=None)[source]