Definitions
SUPPORTjlc
Sections
NuprlLIB
Doc
No mentions to report in SUPPORTjlc
theta
Def T == (
x,y. y(x(x,y)))(
x,y. y(x(x,y)))
Syntax:
T
has structure:
theta
About:
Definitions
SUPPORTjlc
Sections
NuprlLIB
Doc
x,y. y(x(x,y)))(x,y. y(x(x,y)))x,y. y(x(x,y)))(x,y. y(x(x,y)))
