User:Agumonkey

From Wikipedia, the free encyclopedia

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