Commit 2020-12-08 05:05 8f42d73d

chore(data/list/pairwise): add list.pairwise_pmap and list.pairwise.pmap (#5273) Also add list.pairwise.tail and use it in the proof of list.sorted.tail.