Theorem Set.union_self

Modification history