mathlib3

chore(data/set/lattice): use dot syntax for `disjoint.*`

#2282

Merged