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

Syntax Definition tf11 189
Description: One-to-one function.
Assertion
Ref Expression
tf11 term 1-1

See definition df-f11 194 for more information.

Colors of variables: type var term
  Copyright terms: Public domain W3C validator