Def CategoryTheory.ColimitAdj.Elements.initial

Modification history