Theorem CategoryTheory.Limits.IsLimit.lift_comp_conePointsIsoOfNatIso_hom

Modification history