is_numeric_natural

proveit.numbers.is_numeric_natural(expr)[source]

Return True iff the ‘expr’ represents an explicit, numeric natural number.