Theorem Finset.union_subset_union

Modification history