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

At: termof wf 1
1. A: Type
(A Term) Type
By: Unfold `termof` 0
Generated subgoals:

None

About:
universemember

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