Mathlib v3 is deprecated. Go to Mathlib v4

Theorem polynomial.root_multiplicity_sub_one_le_derivative_root_multiplicity

Modification history

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