Template:User λ-2

From Wikipedia, the free encyclopedia

λ-2 λf.λx.x