Theorem MvPolynomial.finSuccEquiv_apply

Modification history