Def pairwise
Modification history
2022-11-06 23:41
src/data/set/pairwise.lean
refactor(*): supremum of several recent refactoring PRs (#17381) …
Modified pairwiseView on Github →2022-11-06 07:48
src/data/set/pairwise.lean
refactor(data/set/pairwise): use `{{..}}` arguments (#17230)
Modified pairwiseView on Github →2021-10-28 17:00
src/data/set/pairwise.lean
move(data/set/pairwise): Move `set.pairwise_on` (#9986) …
Modified pairwiseView 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 pairwiseView on Github →2021-06-16 18:44
src/data/set/disjointed.lean
docs(data/set/disjointed): add module docstring and some whitespaces (#7957)
Modified pairwiseView on Github →