Mathlib Changelog
v4
Changelog
About
Github
Theorem
Polynomial.rootMultiplicity_expand_pow
Modification history
2024-02-10 09:09
Mathlib/Data/Polynomial/Expand.lean
feat(PerfectRing): roots of `Polynomial.expand` (#9311) …
Added
Polynomial.rootMultiplicity_expand_pow
View on Github →