Commit 2024-03-29 10:05 fedc4ae3

View on Github →

chore(Polynomial/Derivative): golf derivative_mul (#11315)

Estimated changes

Modified Mathlib/Data/Polynomial/Derivative.lean

modified theorem Polynomial.derivative_mul