Theorem pairwise_disjoint_on_bool
Modification history
2021-11-23 13:11
src/data/set/pairwise.lean
refactor(*): split `order_{top,bot}` from `lattice` hierarchy (#9891) …
Modified pairwise_disjoint_on_boolView on Github →2021-10-28 17:00
src/data/set/pairwise.lean
move(data/set/pairwise): Move `set.pairwise_on` (#9986) …
Modified pairwise_disjoint_on_boolView on Github →