Theorem CategoryTheory.Limits.IsColimit.OfNatIso.cocone_fac

Modification history