Def CategoryTheory.Presheaf.isColimitTautologicalCocone

Modification history