Mathlib v3 is deprecated. Go to Mathlib v4

Def append

Modification history

2019-04-05 14:37
test/mllist.lean
feat(data/mllist): monadic lazy lists (#865) …
Added appendView on Github →