First contribution: Basic results about `Pairwise`

Stream: mathlib4

[William Sørensen]

I made a PR with some basic results about Pairwise, what is the process to get this reviewed and merged?

[Ruben Van de Velde]

Nothing on your side - it's on the queue

[Ruben Van de Velde]

Unfortunately there's 406 other PRs also on the queue

[William Sørensen]

Oh ok, then I'll wait for this then thanks

[Kenny Lau]

@William Sørensen meanwhile, i've made some minor spacing suggestions

[Kenny Lau]

edit: not anymore

[Kenny Lau]

I hope you won't be deterred by the comments, getting a PR right can be a tough process.

[Kenny Lau]

in the future i hope you'll find List.Sublist and subset helpful.

[William Sørensen]

ah yes those are exactly what I need lol, then I'll just drop the PR

[William Sørensen]

I was just loogling List.Pairwise, _ ∈ _ and found nothing

[Kenny Lau]

@William Sørensen next time you can also ask at #Is there code for X? , and generally if you want to ask about PR's, you should ask at #PR reviews .

[William Sørensen]

Ok great thanks, this is good to know