mathlib
c4c2ed62 - feat(order/sup_indep): More lemmas (#11932)

Commit

2 years ago

feat(order/sup_indep): More lemmas (#11932) A few more lemmas about `finset.sup_indep` and `set.pairwise_disjoint`.

Author

YaelDillies

Parents