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.