tf11 - Higher-Order Logic Explorer

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

Syntax Definition tf11 177

Description: One-to-one function.

**Assertion**
Ref	Expression
tf11	term 1-1

See definition df-f11 181 for more information.

Colors of variables: type var term