Theorem Set.union_insert

Modification history