Theorem MvPolynomial.degreeOf_coeff_finSuccEquiv

Modification history