Def CategoryTheory.Limits.Types.colimitCocone

Modification history