Theorem Ideal.Polynomial.isJacobson_polynomial_iff_isJacobson

Modification history