PR #1006 feat(category_theory): limits in CommRing

feat(category_theory): limits in CommRing #1006

mergify merged 10 commits into master from CommRing-limits

feat(category_theory): limits in CommRing

f4d1c64c

kim-em requested a review 6 years ago

jcommelin commented on 2019-05-10

fddde19d

Merge branch 'master' into CommRing-limits

801d7eb0

rename

c5f31966

Merge branch 'master' into CommRing-limits

a834e84b

sections

93a78137

Merge branch 'CommRing-limits' of github.com:leanprover-community/mat…

9bc977ee

johoelzl commented on 2019-05-17

Update src/category_theory/types.lean

56ca3aed

Merge branch 'master' into CommRing-limits

b2b0a6f9

jcommelin approved these changes on 2019-05-20

jcommelin added ready-to-merge

Merge branch 'master' into 'CommRing-limits'

5cf0d6d6

mergify merged 0ab8a89d into master 6 years ago

mergify deleted the CommRing-limits branch 6 years ago

Reviewers

jcommelin

johoelzl

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone