Def CategoryTheory.Limits.colimCoyoneda

Modification history