mathlib3
12786d04 - feat(order/sup_indep): add `finset.sup_indep_pair` (#12549)

Commit

3 years ago

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`.

Author

eric-wieser

Parents