mathlib

20715f4a - feat(data/set/sups): Set family operations (#18172)

feat(data/set/sups): Set family operations (#18172) Followup to #17947. Add a similar `set` API (but do not define `set.disj_sups` because I don't need it), correct a few lemma names and connect to upper/lower sets.