Theorem MvPolynomial.finSuccEquiv_X_zero

Modification history