add_equiv`, DRY
#1247

Merged

chore(data/equiv/algebra): add `ring.to_mul/add_equiv`, DRY #1247

mergify merged 2 commits into leanprover-community:master from urkud:ring-equiv

chore(data/equiv/algebra): add `ring.to_mul/add_equiv`, DRY

7aed399d

urkud requested a review 6 years ago

jcommelin approved these changes on 2019-07-20

jcommelin added ready-to-merge

Merge branch 'master' into ring-equiv

3402b889

mergify merged 93419b38 into master 6 years ago

urkud deleted the ring-equiv branch 6 years ago

Reviewers

jcommelin

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone