(8steps total)
PrintForm
Definitions
Lemmas
ElisTarskiPf
A
Sections
NuprlLIB
Doc
At:
s2
t:Term. s(t)
= SUBX(t; SUBX(f(t);
f(t)))
By:
GenUnivCD
Generated subgoal:
1
1.
t:
Term
s(t)
= SUBX(t; SUBX(f(t);
f(t)))
7
steps
About:
(8steps total)
PrintForm
Definitions
Lemmas
ElisTarskiPf
A
Sections
NuprlLIB
Doc
s(t) 
= SUBX(t; SUBX(f(t); 
f(t)))
t:Term. s(t) = SUBX(t; SUBX(f(t); f(t)))
s(t) = SUBX(t; SUBX(f(t); f(t)))