Def CategoryTheory.Limits.IsLimit.conePointsIsoOfNatIso

Modification history