Theorem Finset.union_subset_union_left

Modification history