Theorem Finset.diffs_inter_subset_left

Modification history