standard_number_set =================== .. currentmodule:: proveit.numbers .. autofunction:: standard_number_set