Theorem CategoryTheory.Limits.IsColimit.comp_coconePointUniqueUpToIso_hom

Modification history