mathlib3
fix(category_theory/limits): require explicit instances of has_zero_morphisms
#2169

Merged

fix(category_theory/limits): require explicit instances of has_zero_morphisms #2169

mergify merged 3 commits into master from zero

fix(category_theory/limits): require explicit instances of has_zero_m…

cd7fcea6

Fix unused arguments

abdc9321

kim-em approved these changes on 2020-03-17

kim-em added ready-to-merge

Merge branch 'master' into zero

45a63a34

mergify merged 6af37d37 into master 6 years ago

mergify deleted the zero branch 6 years ago

Reviewers

kim-em

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone