Theorem Set.mem_or_mem_of_mem_union

Modification history