Theorem CategoryTheory.Limits.IsLimit.conePointUniqueUpToIso_hom_comp

Modification history