quick_simplified_index ====================== .. currentmodule:: proveit.numbers .. autofunction:: quick_simplified_index