fact: Definition diagram_const_functor_comp {A B C : Type} (f : A -> B) (g : B -> C) : diagram_const_functor (g o f) = diagram_comp (diagram_const_functor g) (diagram_const_functor f).
imports: Basics Cone Cocone Diagram Graph