union_number_set ================ .. currentmodule:: proveit.numbers .. autofunction:: union_number_set