Comment by 2pEXgD0fZ5cF

Does Lean have something similar to Haskell's List comprehension [1] or some kind of set builder notation for functional programming purposes?

[1]: Example: `[x*2 | x <- [1..10]]`