Commit 2020-03-03 07:18 2a9ad03c
View on Github →feat(data/list/basic): more lemmas about list.chain'
; chain'_of_pairwise
→ pairwise.chain'
(#2071)
feat(data/list/basic): more lemmas about list.chain'
; chain'_of_pairwise
→ pairwise.chain'
(#2071)