Nuprl - Proof: qup up repst

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

At: qup up repst

t:Term. Q(q(t)) reps q(t)

By: GenUnivCD

Generated subgoal:

1 1. t: Term
Q(q(t)) reps q(t) 6 steps

About:

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