No mentions to report in SUPPORTjlc
applicative_Y	Def Y(f) == (x.f(y.x(x,y)))(x.f(y.x(x,y)))

Syntax:

Y

has structure:

applicative_Y

About: