Theorem Finset.diffs_inter_subset_right

Modification history