Theorem LaurentPolynomial.isLocalization

Modification history

2025-04-11 09:39
Mathlib/Algebra/Polynomial/Laurent.lean
feat(Algebra/Polynomial/Laurent): Lifting maps to ring of Laurent polynomials (#19573) …
Deleted LaurentPolynomial.isLocalizationView on Github →
2024-11-28 15:29
Mathlib/Algebra/Polynomial/Laurent.lean
refactor(Algebra/Polynomial/Laurent): simplify some proofs (#19534) …
Modified LaurentPolynomial.isLocalizationView on Github →
2023-05-15 09:05
Mathlib/Data/Polynomial/Laurent.lean
feat: port Data.Polynomial.Laurent (#2953)
Added LaurentPolynomial.isLocalizationView on Github →