mathlib3

1990ff7e - feat(data/finset/sups): Set family operations (#17947)

feat(data/finset/sups): Set family operations (#17947) Define three binary operations on `set α` and `finset α` for use in the four functions theorem and the van den Berg-Kesten-Reimer and Ahlswede-Daykin inequalities.