Theorem Finset.diffs_union_left

Modification history