Def CategoryTheory.isColimitTautologicalCocone

Modification history