(C : Type) : Diagram G. Proof. srapply Build_Diagram. 1: exact (fun _ => C). intros i j k. exact idmap. Defined.
Require Import Basics. Require Import Cone. Require Import Cocone. Require Import Diagram. Require Import Graph.