Theorem CategoryTheory.Limits.IsLimit.conePointsIsoOfNatIso_hom_comp

Modification history