{G : Graph} {D : Diagram G} (i : G) (x : D i) : Colimit D := coeq (i ; x).
Require Import Basics Types. Require Import Diagrams.Diagram. Require Import Diagrams.Graph. Require Import Diagrams.Cocone. Require Import Diagrams.ConstantDiagram. Require Import Colimits.Coeq.