Theorem Set.union_subset_union_left

Modification history