tfo - Higher-Order Logic Explorer

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

Syntax Definition tfo 190

Description: Onto function.

**Assertion**
Ref	Expression
tfo	term onto

See definition df-fo 195 for more information.

Colors of variables: type var term