Theorem Polynomial.isJacobsonRing_polynomial_of_isJacobsonRing

Modification history