Theorem Set.union_mul

Modification history