(5steps total)
PrintForm
Lemmas
ElisTarskiPf
A
Sections
NuprlLIB
Doc
At:
up
reps
1
1
2
1.
t:
Term
2.
t
Term
t = t
By:
BackThru Thm*
t:Term.
t = t
Generated subgoals:
None
About:
(5steps total)
PrintForm
Lemmas
ElisTarskiPf
A
Sections
NuprlLIB
Doc