Theorem Set.insert_union

Modification history