Mathlib v3 is deprecated. Go to Mathlib v4

Theorem polynomial.derivative_root_multiplicity_of_root

Modification history

2022-03-24 10:12
src/data/polynomial/field_division.lean
feat(*): facts about degrees/multiplicites of derivatives (#12856) …
Added polynomial.derivative_root_multiplicity_of_rootView on Github →