union_number_set

proveit.numbers.union_number_set(\*sets)[source]

Utility function to produce a minimal standard number set that contains all the given number sets, if possible. Notice that the function does not prove the result, instead just providing a superset that should be proveable under the right conditions.