mathlib

bbeb185d - chore(data/polynomial/derivative): replace n by C n (#17911)

chore(data/polynomial/derivative): replace n by C n (#17911) Rename `derivative_pow` lemmas, refactor `derivative_X_add_pow` slightly, and replace `n` by `C n` analogously to #17795