mathlib3

8f75daff - refactor(data/set/pairwise): split file