Def CategoryTheory.Limits.IsLimit.OfNatIso.limitCone

Modification history