mathlib3

c0b1eb19 - refactor(data/finset): correct name sdiff_disjoint -> disjoint_sdiff; add sdiff_disjoint