(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