Theorem MvPolynomial.finSuccEquiv_X_succ

Modification history