Nuprl - Proof: up reps 1 1 1

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

At: up reps 1 1 1

1. t: Term

q(t) IN Term

By: BackThru Thm* x:Term. q(x) IN Term

Generated subgoals:

None

About:

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