mathlib3
feat(category_theory/limits): construct equalizers from pullbacks and products
#2124

Merged

feat(category_theory/limits): construct equalizers from pullbacks and products #2124

mergify merged 9 commits into leanprover-community:master from b-mehta:equalizers

construct equalizers from pullbacks and products

1424bce2

kim-em commented on 2020-03-11

...

3e77a3ea

changes from review

07522af0

Add docstrings

118ca80b

golf proofs a little

51275948

merge

69d4f52c

kim-em added awaiting-author

Merge pull request #2 from leanprover-community/equalizers

8568368c

kim-em added ready-to-merge

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

kim-em removed awaiting-author

kim-em commented on 2020-03-11

linter

cf5aa741

Merge branch 'master' into equalizers

9c4b3962

mergify merged 7c8dc2ad into master 5 years ago

b-mehta deleted the equalizers branch 5 years ago

Reviewers

kim-em

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone