deduce_as_mon_dec_func
======================

.. currentmodule:: proveit.numbers

.. autofunction:: deduce_as_mon_dec_func