Theorem Finset.union_subset_union_right

Modification history