(6steps total)
PrintForm
Definitions
Lemmas
ElisTarskiPf
A
Sections
NuprlLIB
Doc
At:
reps
wf2
t,x:Term. (t
= x)
Prop
By:
GenUnivCD
Generated subgoals:
1
1.
t:
Term
2.
x:
Term
(t
= x)
Prop
3
steps
2
1.
t:
Term
Term
Type
Auto
3
Term
Type
Auto
About:
(6steps total)
PrintForm
Definitions
Lemmas
ElisTarskiPf
A
Sections
NuprlLIB
Doc
(t 
= x) 
Prop Term Type Term Type
t,x:Term. (t = x) Prop
(t = x) Prop Term Type Term Type
