proveit.numbers.
deduce_in_number_set
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.