Def CategoryTheory.Limits.IsLimit.ofConeEquiv

Modification history