Theorem Polynomial.isJacobsonRing_polynomial_iff_isJacobsonRing

Modification history