Nuprl - Proof: up repst

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

At: up repst

t:Term. q(t) reps t

By: GenUnivCD

Generated subgoal:

1 1. t: Term
q(t) reps t 1 step

About:

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