Theorem MvPolynomial.degree_finSuccEquiv

Modification history