deduce_number_set

proveit.numbers.deduce_number_set(expr, \*\*defaults_config)

Prove the most restrictive standard number set membership of the given expression. The expression may also be an ExprRange in which case we prove the conjunction that each instance of the range is in the particular most-restrictive standard number set.

Keyword arguments are accepted for temporarily changing any of the attributes of proveit.defaults.