Theorem CategoryTheory.Limits.IsColimit.comp_coconePointsIsoOfNatIso_hom

Modification history