chain): Simp lemma for `chain r a (l ++ b :: c :: m)` (#12969)

Commit

3 years ago

feat(data/list/chain): Simp lemma for `chain r a (l ++ b :: c :: m)` (#12969) Co-authored-by: Eric Wieser <wieser.eric@gmail.com>

Author

vihdzp

Parents