Theorem Polynomial.derivative_bit1

Modification history

2024-06-10 07:27
Mathlib/Algebra/Polynomial/Derivative.lean
chore(*): drop some bit0/bit1 lemmas (#13679) …
Deleted Polynomial.derivative_bit1View on Github →
2023-03-09 09:05
Mathlib/Data/Polynomial/Derivative.lean
feat: port Data.Polynomial.Derivative (#2725)
Added Polynomial.derivative_bit1View on Github →