Theorem Set.subset_union_of_subset_left

Modification history