Theorem MvPolynomial.finSuccEquiv_eq

Modification history