is_numeric_natural
==================

.. currentmodule:: proveit.numbers

.. autofunction:: is_numeric_natural