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

Syntax:

A Term

has structure:

termof(A)

About: