Def CategoryTheory.Limits.IsLimit.representableBy

Modification history