Theorem CategoryTheory.Limits.IsColimit.OfNatIso.coconeOfHom_homOfCocone

Modification history