WhoCites
Definitions
ElisTarskiPf
A
Sections
NuprlLIB
Doc
Who Cites f?
f
Def f(t) == SUBX(
t; SUBX(X; UP(X)))
Thm*
t:Term. f(t)
Term
About:
WhoCites
Definitions
ElisTarskiPf
A
Sections
NuprlLIB
Doc
t; SUBX(X; UP(X)))
t:Term. f(t) 
Termt; SUBX(X; UP(X)))t:Term. f(t) Term
