Def CategoryTheory.Limits.IsColimit.ofCorepresentableBy

Modification history