Theorem Ideal.MvPolynomial.isJacobson_MvPolynomial_fin

Modification history