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