Theorem CategoryTheory.Limits.IsColimit.coconePointsIsoOfNatIso_inv_desc

Modification history