Def CategoryTheory.Limits.IsLimit.mapConeEquiv

Modification history