Nuprl - Proof: s2 1 1 1

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

At: s2 1 1 1

1. t: Term

q(t) reps t

By: BackThru Thm* t:Term. q(t) reps t

Generated subgoals:

None

About:

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