Theorem MvPolynomial.finSuccEquiv_support'

Modification history