fact: Definition cocone_postcompose_comp {D : Diagram G} `(f : X -> Y) `(g : Y -> Z) (C : Cocone D X) : cocone_postcompose C (g o f) = cocone_postcompose (cocone_postcompose C f) g.
imports: Basics Types Diagrams.Graph Diagrams.Diagram