Def CategoryTheory.Limits.IsLimit.conePointsIsoOfEquivalence

Modification history