Def CategoryTheory.Limits.IsLimit.mkConeMorphism

Modification history