colimits): avoid explicit `infer_instance`
#1430

Merged

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

mergify merged 3 commits into leanprover-community:master from urkud:Mon-has-limits

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

a7bed669

urkud requested a review 6 years ago

Merge branch 'master' into Mon-has-limits

7fd4e249

fpvandoorn added ready-to-merge

fpvandoorn approved these changes on 2019-09-10

Merge branch 'master' into Mon-has-limits

de3617b2

mergify merged 8a5156fc into master 6 years ago

urkud deleted the Mon-has-limits branch 6 years ago

Reviewers

fpvandoorn

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone