mathlib3

fix(algebra/*/colimits): avoid explicit `infer_instance`

#1430

Merged