Theorem CategoryTheory.Limits.IsColimit.OfNatIso.coconeOfHom_fac

Modification history