mathlib3

b3ad3f2a - feat(data/set/lattice): review (#11672)

feat(data/set/lattice): review (#11672) * generalize `set.Union_coe_set` and `set.Inter_coe_set` to dependent functions; * add `bInter_Union`, `sUnion_Union`; * drop `sUnion_bUnion`, `sInter_bUnion`.