Metamath Proof Explorer


Syntax definition ccmd

Description: Class function defining the colimit of a diagram.

Ref Expression
Assertion ccmd class Colimit