feat(data/set/basic): union_inter_distrib lemmas (#1107)
feat(data/set/basic): union_inter_distrib lemmas (#1107)

* feat(data/set/basic): union_inter_distrib lemmas

* add parentheses

leanprover-community/mathlib,leanprover-community/mathlib