Def CategoryTheory.Limits.IsColimit.coconePointsIsoOfEquivalence

Modification history