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

At: s wf

t:Term. s(t) Term

By: GenUnivCD

Generated subgoals:

11. t: Term
s(t) Term
1 step
 
2 Term TypeAuto

About:
universememberall

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