deduce_in_number_set
====================

.. currentmodule:: proveit.numbers

.. autofunction:: deduce_in_number_set