Theorem Polynomial.isLocalization

Modification history

2025-04-11 17:23
Mathlib/RingTheory/Localization/Algebra.lean
feat: generalize rest of Mathlib.RingTheory (#23194) …
Modified Polynomial.isLocalizationView on Github →
2025-01-13 10:02
Mathlib/RingTheory/Localization/Algebra.lean
feat: the localization of `R[X]` at `S` is the polynomial ring over the localization of `R` at `S` (#20070) …
Added Polynomial.isLocalizationView on Github →