ccmd - Mathbox for Zhi Wang

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

Syntax Definition ccmd 49466

Description: Class function defining the colimit of a diagram.

**Assertion**
Ref	Expression
ccmd	class Colimit

See definition df-cmd 49468 for more information.

Colors of variables: wff setvar class