What does "y <- [0..]" mean?

rel*_*l1x 0 syntax haskell

I don't understand what y <- [0..] means here. Is it a variable definition?

f x = sum $ take 10 [x**y/product [1..y] | y <- [0..]]
Run Code Online (Sandbox Code Playgroud)

Guv*_*nte 5

一个列表解析.它可以被解释为"对于[0 ..]中的每个y".