teu - Higher-Order Logic Explorer

	Higher-Order Logic Explorer		< Previous Next > Nearby theorems
Mirrors > Home > HOLE Home > Th. List > teu		GIF version

Syntax Definition teu 115

Description: There exists unique term.

**Assertion**
Ref	Expression
teu	term ∃!

See definition df-eu 123 for more information.

Colors of variables: type var term