mathlib3
fix(category_theory/limits): add two missing duals
#2122

Merged

fix(category_theory/limits): add two missing duals #2122

mergify merged 3 commits into leanprover-community:master from cofork-of-pi

Add two missing duals

20929e01

jcommelin approved these changes on 2020-03-10

jcommelin added ready-to-merge

Merge branch 'master' into cofork-of-pi

11e4ffc3

Merge branch 'master' into cofork-of-pi

17aadd5e

mergify merged 36ac9162 into master 6 years ago

Reviewers

jcommelin

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone