Theorem CategoryTheory.Limits.IsLimit.lift_comp_conePointUniqueUpToIso_hom

Modification history