(7steps total)
PrintForm
Lemmas
ElisTarskiPf
A
Sections
NuprlLIB
Doc
At:
qup
up
repst
1
1
2
1
1.
t:
Term
2.
UP(
t)
Term
t =
t
By:
Rewrite Thm*
t:Term.
t = t 0
Generated subgoals:
None
About:
(7steps total)
PrintForm
Lemmas
ElisTarskiPf
A
Sections
NuprlLIB
Doc