Def CategoryTheory.Limits.IsLimit.ofRepresentableBy

Modification history