Theorem complete_lattice.set_independent.disjoint
Modification history
2022-03-31 08:43
src/order/sup_indep.lean
feat(order/sup_indep): lemmas about `pairwise` and `set.pairwise` (#12590) …
Deleted complete_lattice.set_independent.disjointView on Github →