(6steps total) PrintForm Definitions Lemmas ElisTarskiPf A Sections NuprlLIB Doc

At: reps wf2

t,x:Term. (t = x) Prop

By: GenUnivCD

Generated subgoals:

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

About:
universememberpropall

(6steps total) PrintForm Definitions Lemmas ElisTarskiPf A Sections NuprlLIB Doc