cof - Intuitionistic Logic Explorer

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

Syntax Definition cof 6048

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

**Hypothesis**
Ref	Expression
cR	class 𝑅

**Assertion**
Ref	Expression
cof	class ∘_𝑓 𝑅

See definition df-of 6050 for more information.

Colors of variables: wff set class