mathlib3
refactor(ring_theory/subring): use bundled homs
#2144

Merged

refactor(ring_theory/subring): use bundled homs #2144

mergify merged 2 commits into master from subring-bundled-hom

refactor(ring_theory/subring): use bundled homs

4699dd45

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

kim-em added ready-to-merge

Merge branch 'master' into subring-bundled-hom

ebe79302

mergify merged 3d621b5e into master 6 years ago

mergify deleted the subring-bundled-hom branch 6 years ago

Reviewers

kim-em

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone