cof - Intuitionistic Logic Explorer

	Intuitionistic Logic Explorer		< Previous Next > Nearby theorems
Mirrors > Home > ILE Home > Th. List > cof		Unicode version

Syntax Definition cof 6137

Description: Extend class notation to include mapping of an operation to a function operation.

**Hypothesis**
Ref	Expression
cR

**Assertion**
Ref	Expression
cof

See definition df-of 6139 for more information.

Colors of variables: wff set class