deduce_in_number_set

proveit.numbers.deduce_in_number_set(expr, number_set, \*\*defaults_config)[source]

Prove that ‘expr’ is an Expression that respresents a number in the given ‘number_set’.

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