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

At: termof wf

A:Type. (A Term) Type

By: GenUnivCD

Generated subgoals:

11. A: Type
(A Term) Type
1 step
 
2 Type{i} Type{i'}Auto

About:
universememberall

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