feat(multivariate): add first-vars degree and finSucc coefficient helpers#126

Draft

eliasjudin wants to merge 3 commits intoVerified-zkEVM:masterfrom

eliasjudin:feat_tomathlib_finsucc_overlap

Commits on Feb 27, 2026

feat(toMathlib): add finSucc degree and coefficient helpers

eliasjudin
and
Aristotle-Harmonic
committed
chore(imports): regenerate CompPoly.lean import order
eliasjudin
committed
refactor(multivariate): move first-vars degree helpers into core module
eliasjudin
committed