Commit 2024-12-27 18:42 e85c35e9

View on Github →

chore: protect Polynomial.map_eq_zero (#20268) Protect Polynomial.map_eq_zero to avoid conflict with _root_.map_eq_zero.

Estimated changes

Modified Mathlib/Algebra/Polynomial/FieldDivision.lean

deleted theorem Polynomial.map_eq_zero

Modified Mathlib/Algebra/Polynomial/Splits.lean