Nuprl - Proof: s reps

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

At: s reps

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

By: GenUnivCD

Generated subgoal:

1 1. t: Term
s(t) reps t/s(t) 2 steps

About:

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