Theorem Polynomial.rootMultiplicity_eq_natFind_of_ne_zero

Modification history

2026-02-13 13:13
Mathlib/Algebra/Polynomial/Div.lean
chore(Polynomial/Div): deprecate noncomputable `Decidable` non-instance (#34983) …
Added Polynomial.rootMultiplicity_eq_natFind_of_ne_zeroView on Github →