Nuprl - Proof: up reps

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

At: up reps

t:Term. q(t) reps t Term

By: GenUnivCD

Generated subgoal:

1 1. t: Term
q(t) reps t Term 4 steps

About:

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