Def CategoryTheory.Limits.IsColimit.coconePointsIsoOfNatIso

Modification history