Mathlib Changelog
v4
Changelog
About
Github
Theorem
Polynomial.map_taylor
Modification history
2025-11-25 07:17
Mathlib/Algebra/Polynomial/Taylor.lean
feat(RingTheory): resultant is multiplicative (#31871)
Added
Polynomial.map_taylor
View on Github →