Mathlib v3 is deprecated. Go to Mathlib v4

Theorem list.pairwise.tail

Modification history

2020-12-08 05:05

src/data/list/pairwise.lean

chore(data/list/pairwise): add `list.pairwise_pmap` and `list.pairwise.pmap` (#5273) …

Added list.pairwise.tail View on Github →