Template:User λ-5

From Wikipedia, the free encyclopedia
λ-5λg. (λx. g (x x)) (λx. g (x x))