Def category_theory.limits.types.colimit_is_colimit_

Modification history