mathlib3

feat(data/mv_polynomial): add pderivative_eq_zero_of_not_mem_vars

#2324

Merged