Theorem CategoryTheory.Limits.IsLimit.conePointsIsoOfNatIso_inv_comp

Modification history