Theorem MvPolynomial.finSuccEquiv_coeff_coeff

Modification history