Def CategoryTheory.Limits.coconeOfDiagramInitial

Modification history