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

At: f wf

t:Term. f(t) Term

By: GenUnivCD

Generated subgoals:

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

About:
universememberall

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