Theorem Finset.diffs_subset_iff

Modification history