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

At: s2 1 1 2 1 1
1. t: Term
q(f(t)) reps f(t)
By: BackThru Thm* t:Term. q(t) reps t
Generated subgoals:

None

About:
all

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