(7steps total)
PrintForm
Definitions
Lemmas
ElisTarskiPf
A
Sections
NuprlLIB
Doc
At:
reps
wf
1
1
1.
u:
Type
2.
t:
u Term
3.
x:
u
(t
u &
t = x)
Prop
By:
Analyze 2
Generated subgoal:
1
2.
t:
Term
3.
t
u
4.
x:
u
5.
t
u
t
u
1
step
About:
(7steps total)
PrintForm
Definitions
Lemmas
ElisTarskiPf
A
Sections
NuprlLIB
Doc
u u
t u
(t u & t = x) Prop
u u t u
