Def CategoryTheory.Limits.IsColimit.corepresentableBy

Modification history