mathlib

91b39066 - feat(data/polynomial): misc on derivatives of polynomials (#2596)