Def MvPolynomial.finSuccEquiv

Modification history