(2steps total) PrintForm Definitions Lemmas ElisTarskiPf A Sections NuprlLIB Doc

At: up repst 1
1. t: Term
t = t
By:
Unfold `repst` 0
THEN
BackThru Thm* t:Term. t = t
Generated subgoals:

None

About:
all

(2steps total) PrintForm Definitions Lemmas ElisTarskiPf A Sections NuprlLIB Doc