Theorem CategoryTheory.Limits.IsColimit.OfNatIso.homOfCocone_cooneOfHom

Modification history