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

At: repst wf
t,x:Term. (t reps x) Prop
By: GenUnivCD
Generated subgoals:

11. t: Term
2. x: Term
(t reps x) Prop		2 steps
 
21. t: Term
Term Type		Auto
 
3 Term TypeAuto

About:
universememberpropall

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