WhoCites Definitions ElisTarskiPf A Sections NuprlLIB Doc

Who Cites termof?
termofDef A Term == {t:Term| t A }
Thm* (A Term) Type

Syntax:A Term has structure: termof(A)

About:
setuniversemember!abstraction

WhoCites Definitions ElisTarskiPf A Sections NuprlLIB Doc