cfuco - Mathbox for Zhi Wang

	Mathbox for Zhi Wang		< Previous Next > Nearby theorems
Mirrors > Home > MPE Home > Th. List > Mathboxes > cfuco		Structured version Visualization version GIF version

Syntax Definition cfuco 48885

Description: Extend class notation with functor composition bifunctors.

**Assertion**
Ref	Expression
cfuco	class ∘_F

See definition df-fuco 48886 for more information.

Colors of variables: wff setvar class