ElisTarskiPf
A
Sections
NuprlLIB
Doc
Rank
Theorem
Name
4
Thm*
t:Term. s(t)
= SUBX(t; s(t))
[s_reps]
cites
3
Thm*
t:Term. s(t)
= SUBX(t; SUBX(f(t);
f(t)))
[s2]
ElisTarskiPf
A
Sections
NuprlLIB
Doc
t:Term. s(t) 
= SUBX(t; s(t))t:Term. s(t) = SUBX(t; SUBX(f(t); 
f(t)))t:Term. s(t) = SUBX(t; s(t))t:Term. s(t) = SUBX(t; SUBX(f(t); f(t)))