Def CategoryTheory.Limits.IsColimit.OfNatIso.colimitCocone

Modification history