Metamath Proof Explorer


Syntax definition ccmd

Description: Class function defining the colimit of a diagram.

Ref Expression
Assertion ccmd Could not format assertion : No typesetting found for class Colimit with typecode class