mathlib3

feat(category_theory/colimits): missing simp lemmas

#894

Merged