deduce_number_set
=================

.. currentmodule:: proveit.numbers

.. autofunction:: deduce_number_set