Mathlib v3 is deprecated. Go to Mathlib v4

Theorem polynomial.derivative_of_nat_degree_zero

Modification history

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