top | item 37434592 (no title) eric-wieser | 2 years ago Mathlib4 provides a `Monad List` instance, which you can see at https://leanprover-community.github.io/mathlib4_docs/Mathlib... discuss order hn newest No comments yet.
No comments yet.