Theorem Set.mem_union_left

Modification history