mathlib3

c5c7e276 - feat(data/polynomial/basic): add C_ne_zero (#17970)