Theorem CategoryTheory.Limits.IsColimit.comp_coconePointsIsoOfNatIso_inv

Modification history