User:Agumonkey

Y = λf.(λx.f (x x)) (λx.f (x x))