Theorem CategoryTheory.Limits.IsColimit.uniq_cocone_morphism

Modification history