mathlib

6f4aea44 - feat(data/set/pairwise): Simple `pairwise_disjoint` lemmas (#9764)