(3steps total)
PrintForm
Definitions
Lemmas
ElisTarskiPf
A
Sections
NuprlLIB
Doc
At:
s
reps
t:Term. s(t)
= SUBX(t; s(t))
By:
GenUnivCD
Generated subgoal:
1
1.
t:
Term
s(t)
= SUBX(t; s(t))
2
steps
About:
(3steps total)
PrintForm
Definitions
Lemmas
ElisTarskiPf
A
Sections
NuprlLIB
Doc
s(t) 
= SUBX(t; s(t))
t:Term. s(t) = SUBX(t; s(t))
s(t) = SUBX(t; s(t))