Def CategoryTheory.Coyoneda.colimitCocone

Modification history