Theorem CategoryTheory.Limits.IsColimit.coconePointUniqueUpToIso_hom_desc

Modification history