Theorem Finset.mul_union

Modification history