Mathlib v3 is deprecated. Go to Mathlib v4

Def F

Modification history

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