Mathlib v3 is deprecated. Go to Mathlib v4

Theorem pairwise.mono

Modification history

2022-11-06 23:41
src/data/set/pairwise.lean
refactor(*): supremum of several recent refactoring PRs (#17381) …
Modified pairwise.monoView on Github →
2021-10-28 17:00
src/data/set/pairwise.lean
move(data/set/pairwise): Move `set.pairwise_on` (#9986) …
Modified pairwise.monoView on Github →
2021-08-05 19:03
src/data/set/pairwise.lean
refactor(order/disjointed): generalize `disjointed` to generalized boolean algebras (#8409) …
Modified pairwise.monoView on Github →
2021-07-24 14:21
src/data/set/pairwise.lean
refactor(data/set/disjointed): split into `data.set.pairwise` and `order.disjointed` (#8411)
Modified pairwise.monoView on Github →
2021-01-10 14:47
src/data/set/disjointed.lean
chore(order/filter): a few more lemmas about `eventually` and set operations (#5686)
Added pairwise.monoView on Github →