mathlib3
chore(algebra/category/*/colimits): remove unnecessary projections
#1588
Merged
Merged