simplified_indices

proveit.simplified_indices(\*indices, requirements=None)[source]