Mathlib Changelog
v4
Changelog
About
Github
Theorem
LaurentPolynomial.mk'_one_X
Modification history
2025-04-24 05:39
Mathlib/Algebra/Polynomial/Laurent.lean
chore: tidy various files (#24331)
Modified
LaurentPolynomial.mk'_one_X
View on Github →
2025-04-11 09:39
Mathlib/Algebra/Polynomial/Laurent.lean
feat(Algebra/Polynomial/Laurent): Lifting maps to ring of Laurent polynomials (#19573) …
Added
LaurentPolynomial.mk'_one_X
View on Github →