Def CategoryTheory.ColimitAdj.isInitial

Modification history