(5steps total)
PrintForm
Definitions
Lemmas
ElisTarskiPf
B
Sections
NuprlLIB
Doc
At:
repst
wf
1
1
1.
t:
Term
2.
x:
Term
(t reps x
Term)
Prop
By:
BackThru
Thm*
t,x:Term. (t reps x
Term)
Prop
Generated subgoals:
None
About:
(5steps total)
PrintForm
Definitions
Lemmas
ElisTarskiPf
B
Sections
NuprlLIB
Doc
(t reps x 
Term) Prop
t,x:Term. (t reps x Term) Prop