(6steps total)
PrintForm
Definitions
Lemmas
ElisTarskiPf
A
Sections
NuprlLIB
Doc
At:
reps
wf2
1
1.
t:
Term
2.
x:
Term
(t
= x)
Prop
By:
Unfold `reps` 0
Generated subgoal:
1
(t
Term &
t = x)
Prop
2
steps
About:
(6steps total)
PrintForm
Definitions
Lemmas
ElisTarskiPf
A
Sections
NuprlLIB
Doc
(t 
Term & t = x) Prop
(t = x) Prop
(t Term & t = x) Prop
