Def CategoryTheory.Presheaf.colimitOfRepresentable

Modification history