rings.lean): reorganising
#909

Merged

fix(category_theory/instances/rings.lean): reorganising #909

mergify merged 2 commits into master from reorganise-CommRing

reorganising category_theory/instances/rings.lean

7056d5bc

kim-em requested a review 7 years ago

jcommelin approved these changes on 2019-04-09

rwbarton approved these changes on 2019-04-09

rwbarton added ready-to-merge

Merge branch 'master' into 'reorganise-CommRing'

5f574053

mergify merged d692499e into master 7 years ago

mergify deleted the reorganise-CommRing branch 7 years ago

Reviewers

rwbarton

jcommelin

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone