Theorem Finset.union_product

Modification history