[Merged by Bors] - chore: fix naming of coeff_C_ne_zero#39632

justus-springer wants to merge 2 commits into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

justus-springer:justus/MvPolynomial_coeff_C_fix_namingjustus-springer/mathlib4:justus/MvPolynomial_coeff_C_fix_namingCopy head branch name to clipboard