[Merged by Bors] - feat(Algebra/MvPolynomial/PDeriv): a coefficient formula for pderiv#39624

justus-springer wants to merge 1 commit into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

justus-springer:justus/MvPolynomial_coeff_pderivjustus-springer/mathlib4:justus/MvPolynomial_coeff_pderivCopy head branch name to clipboard