readily_provable_number_set
===========================

.. currentmodule:: proveit.numbers

.. autofunction:: readily_provable_number_set