Def CategoryTheory.Limits.IsColimit.mkCoconeMorphism

Modification history