Theorem CategoryTheory.Limits.IsColimit.coconePointsIsoOfNatIso_hom_desc

Modification history