Theorem Finset.union_subset_left

Modification history