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

Merged

Commits

refactor(ring_theory/subring): use bundled homs

urkud committed 6 years ago
Merge branch 'master' into subring-bundled-hom

mergify[bot] committed 6 years ago

Loading