feat(order/sup_indep): add `finset.sup_indep_pair` (#12549)
feat(order/sup_indep): add `finset.sup_indep_pair` (#12549)

This is used to provide simp lemmas about `sup_indep` on `bool` and `fin 2`.





leanprover-community/mathlib,leanprover-community/mathlib