standard_number_set

proveit.numbers.standard_number_set(given_set, \*\*defaults_config)

For the number set given_set (which might, for example, be a continuous interval, an integer interval, etc.), return the most restrictive number set (such as Real, RealPos, Integer, etc.) that is already known to contain the given_set, or return the original given_set if no such standard set inclusion is already known.