mathlib3
5582d84f - feat(ring_theory/localization): fraction rings of algebraic extensions are algebraic (#11717)

Commit

3 years ago

feat(ring_theory/localization): fraction rings of algebraic extensions are algebraic (#11717) Co-authored-by: Chris Hughes <33847686+ChrisHughes24@users.noreply.github.com>

Author

Chris Hughes

Parents

4b9f0482

mathlib3 5582d84f - feat(ring_theory/localization): fraction rings of algebraic extensions are algebraic (#11717)

mathlib3
5582d84f - feat(ring_theory/localization): fraction rings of algebraic extensions are algebraic (#11717)