Nuprl - Proof: s2

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

At: s2

t:Term. s(t) reps t/(f(t)/q(f(t)))

By: GenUnivCD

Generated subgoal:

1 1. t: Term
s(t) reps t/(f(t)/q(f(t))) 7 steps

About:

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