(2steps total)
PrintForm
Definitions
Lemmas
ElisTarskiPf
A
Sections
NuprlLIB
Doc
At:
up
repst
t:Term.
t
= t
By:
GenUnivCD
Generated subgoal:
1
1.
t:
Term
t
= t
1
step
About:
(2steps total)
PrintForm
Definitions
Lemmas
ElisTarskiPf
A
Sections
NuprlLIB
Doc
t 
= t
t:Term. t = t
t = t