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

At: term closed wf

t:Term. closed(t) Prop

By: GenUnivCD

Generated subgoals:

11. t: Term
closed(t) Prop
1 step
 
2 Term TypeAuto

About:
universememberpropall

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