Theorem MvPolynomial.finSuccEquiv_support

Modification history