Def CategoryTheory.Presheaf.isColimitTautologicalCocone'

Modification history