Theorem Part.union_mem_union

Modification history